Now measures the elapsed time more precisely with gettimeofday.
authorFrancois Fleuret <francois@fleuret.org>
Wed, 19 Dec 2012 16:21:49 +0000 (17:21 +0100)
committerFrancois Fleuret <francois@fleuret.org>
Wed, 19 Dec 2012 16:21:49 +0000 (17:21 +0100)

No differences found