Better display of measured time
authorUmmon <greg.burri@gmail.com>
Fri, 6 Dec 2019 21:00:08 +0000 (22:00 +0100)
committerUmmon <greg.burri@gmail.com>
Fri, 6 Dec 2019 21:00:08 +0000 (22:00 +0100)
commit9d782fb50a25e3542497d89b8e78bdcb0722c537
treed3fdd3a5282ad4aa9c6a90da57f5d6d31eb9f039
parent7b80c47dfc7c3718fe3dbde9aa09a9ba752ab40c
Better display of measured time
src/main.rs