tree ce1314284dd5490651ba9b0fbb73d300c1848bae
parent d6c0c9ac6acabd3a5d072f3f02d5dda00fc77bdb
author Cedric Beust <cedric@beust.com> 1303423142 -0700
committer Cedric Beust <cedric@beust.com> 1303423142 -0700

Show timings for reporters if verbose >= 2.