diff options
author | Nico Weber <nicolasweber@gmx.de> | 2016-08-01 01:00:37 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-08-01 01:00:37 (GMT) |
commit | 94fc14314501a78b1742e910f7c920188b2753da (patch) | |
tree | c565375565edadc2064d05db6acfefff38c95886 /configure.py | |
parent | 5739c144354c826b57042ad0968680c272a95856 (diff) | |
parent | 3473e08fae5ee76c86db0de079255f00251c1e2c (diff) | |
download | Ninja-94fc14314501a78b1742e910f7c920188b2753da.zip Ninja-94fc14314501a78b1742e910f7c920188b2753da.tar.gz Ninja-94fc14314501a78b1742e910f7c920188b2753da.tar.bz2 |
Merge pull request #1174 from gkistanova/not-initialized-elapsed-fix
Fix for not properly initialized elapsed time.
Diffstat (limited to 'configure.py')
0 files changed, 0 insertions, 0 deletions