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)
commitc7c7ac21b2ae0f084b5e5e80fb5f0381fca92155
tree4c84ad1f58f93b86b2ec30ee7082889ff9fc8561
parent869d6fc53aae3f0bec14a4ef2d31e30d3f461a0e
Time formatting.
Display more digits when formatting time in ms and s
src/day14.rs
src/main.rs