Remove useless function
authorGreg Burri <greg.burri@gmail.com>
Mon, 5 Dec 2022 11:09:28 +0000 (12:09 +0100)
committerGreg Burri <greg.burri@gmail.com>
Mon, 5 Dec 2022 11:09:28 +0000 (12:09 +0100)
commit5befae511674b177421228797d7d450535cfe93c
treed2bd920116c6a2777213b6ff904c2671529bebd6
parentf41b593e8d1169a6e67f689f0e9115c6afa8c3e8
Remove useless function
src/common.rs