tree 856cd1d7d7e0eb5c3f1d10ad10cdbd62e4296938
parent 3819dcd4d76f45967c089f97aeae2aeb64ce7f0f
author Gustavo Niemeyer <gustavo@niemeyer.net> 1343158267 +0100
committer Gustavo Niemeyer <gustavo@niemeyer.net> 1343158267 +0100

Print test timings in seconds.