Remove two useless comments
authorGreg Burri <greg.burri@gmail.com>
Wed, 22 Nov 2023 14:40:25 +0000 (15:40 +0100)
committerGreg Burri <greg.burri@gmail.com>
Wed, 22 Nov 2023 14:40:25 +0000 (15:40 +0100)
commit8ff916896124ea900ea2c6b66c87e6cc72ffe1eb
tree8398fca012c8386c7677b86550f79f6346aad9ca
parentfa183b35d56d26813de3d100c668d7d8f002cf13
Remove two useless comments
src/main.rs