Added elapsed time in logging.
authorFrancois Fleuret <francois@fleuret.org>
Fri, 16 Jun 2017 11:14:44 +0000 (13:14 +0200)
committerFrancois Fleuret <francois@fleuret.org>
Fri, 16 Jun 2017 11:14:44 +0000 (13:14 +0200)

No differences found