Measure ping time.
authorGreg Burri <greg.burri@gmail.com>
Wed, 4 Oct 2023 20:59:02 +0000 (22:59 +0200)
committerGreg Burri <greg.burri@gmail.com>
Wed, 4 Oct 2023 20:59:02 +0000 (22:59 +0200)
commitb02632d6550866301d16069c1c747b801bebb668
tree5aa5d0460fa2864c35c01d718fefa444e322ef4a
parent1ad3f95830bca3017ca786d96c4b3e442a471231
Measure ping time.
src/main.rs