Prints the estimated remaining time.
authorFrancois Fleuret <francois@fleuret.org>
Mon, 26 Dec 2016 10:19:22 +0000 (11:19 +0100)
committerFrancois Fleuret <francois@fleuret.org>
Mon, 26 Dec 2016 10:19:22 +0000 (11:19 +0100)
commitd84867d9fde82f49fa0b4545d8eb763f997d31ea
tree7d859b17e526e6fedc539fee0737fc86aafa4d84
parent5cbea5ca8a26719be70c974fab505e5b8695d9e4
Prints the estimated remaining time.
flatland.cc