Time formatting.
authorGreg Burri <greg.burri@gmail.com>
Wed, 14 Dec 2022 10:14:27 +0000 (11:14 +0100)
committerGreg Burri <greg.burri@gmail.com>
Wed, 14 Dec 2022 10:14:27 +0000 (11:14 +0100)
commit1c2b18c86708f177177531d182349d2f7605c3cc
tree511ea5c708322f95365b372a5813a0b6e31f7bc4
parent9300a4ff9b6a7dc641399eddaac2f194e4f9392b
Time formatting.
Display more digits when formatting time in ms and s
src/day14.rs
src/main.rs