diff options
author | Nico Weber <nicolasweber@gmx.de> | 2015-12-29 15:08:23 (GMT) |
---|---|---|
committer | Nico Weber <nicolasweber@gmx.de> | 2015-12-29 15:08:23 (GMT) |
commit | a99dcc914c9f12790ccb774a1e68e97bae7d4b79 (patch) | |
tree | 08693a87849f33aab79690b9896f05506232223a /configure.py | |
parent | da68d8998dfbc8dfa5455642b3ca287f8a3dbceb (diff) | |
parent | 202fdd64c869eb7e1d6084a10fe93f164aa4cedb (diff) | |
download | Ninja-a99dcc914c9f12790ccb774a1e68e97bae7d4b79.zip Ninja-a99dcc914c9f12790ccb774a1e68e97bae7d4b79.tar.gz Ninja-a99dcc914c9f12790ccb774a1e68e97bae7d4b79.tar.bz2 |
Merge pull request #1074 from ninja-build/manual-command
add a section to the manual discussion the command= variable
Diffstat (limited to 'configure.py')
0 files changed, 0 insertions, 0 deletions