Hi Akim,
> I have used the format you suggested to display the times.
Thanks, looks great, and support programs that terminate in < 0.1 seconds.
> I’m not sure we should specify the resolution, it kinda of is displayed
> by the figures themselves
It's good enough like this. The actual
I have used the format you suggested to display the times. I’m
not sure we should specify the resolution, it kinda of is displayed
by the figures themselves, but I’ll do whatever you suggest Bruno.
However, see 3/3 before.
commit 17bf1247ef4a64e6400df5206bbe570889ef252f
Author: Akim Demaille
