diff options
| author | Martin Hořeňovský | 2017-02-27 11:34:15 +0100 |
|---|---|---|
| committer | Martin Hořeňovský | 2017-02-27 11:34:15 +0100 |
| commit | 061a18303635e4101309ae874a09f0f4bf4477ad (patch) | |
| tree | 48c42a00d87b1b418f85629ebd1993ff64731a10 /scripts/developBuild.py | |
| parent | 70ac6dbb9fbdf7757a11ca8b168c240689b40166 (diff) | |
| download | catch3-061a18303635e4101309ae874a09f0f4bf4477ad.tar.gz | |
Console reporter now uses fixed decimal formatting
3 decimal places, output in seconds.
Diffstat (limited to 'scripts/developBuild.py')
0 files changed, 0 insertions, 0 deletions