Remove useless 'use'
authorGreg Burri <greg.burri@gmail.com>
Tue, 13 Jul 2021 18:24:38 +0000 (20:24 +0200)
committerGreg Burri <greg.burri@gmail.com>
Tue, 13 Jul 2021 18:24:38 +0000 (20:24 +0200)
commit98ec6ec1e2b9d1da8a664701062240799176a7ac
tree4bc5a51ba1e77cd1e411731a1fae8d6f9f18888c
parent52284b0325bfc45c902884c0c3633d8147767941
Remove useless 'use'
src/main.rs