diff options
| author | Nico Weber <nicolasweber@gmx.de> | 2018-04-05 19:00:06 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-05 19:00:06 (GMT) |
| commit | 03df526e07b62c0c5dfe61720cf9263ae4fb808b (patch) | |
| tree | 11225b3136862a267f6ce0ad0aef66e156fe12f3 /configure.py | |
| parent | e85f5ac86be249e6472b368ee7abbe98fe01bcd2 (diff) | |
| parent | 42eefc854b32b3c1efc27548baaacdebad199853 (diff) | |
| download | Ninja-03df526e07b62c0c5dfe61720cf9263ae4fb808b.zip Ninja-03df526e07b62c0c5dfe61720cf9263ae4fb808b.tar.gz Ninja-03df526e07b62c0c5dfe61720cf9263ae4fb808b.tar.bz2 | |
Merge pull request #1406 from nico/dupeerr
make `-w dupbuild` default to `err`
Diffstat (limited to 'configure.py')
0 files changed, 0 insertions, 0 deletions