tree 2cf8ec1b4e8e4288c981eb0963a5cab76ae2c48a
parent f7457001a642f0fced2d08971c7926d9059092cd
author Victor Stinner <victor.stinner@gmail.com> 1471429372 +0200
committer Victor Stinner <victor.stinner@gmail.com> 1471429372 +0200
HG:rename-source hg

regrtest: nicer output for durations

Use milliseconds and minutes units, not only seconds.