diff options
author | Nico Weber <nicolasweber@gmx.de> | 2016-04-19 20:18:05 (GMT) |
---|---|---|
committer | Nico Weber <nicolasweber@gmx.de> | 2016-04-19 20:18:05 (GMT) |
commit | bfe8cd9b34d117201ffecd639e4b694f18648242 (patch) | |
tree | 3af9e927797da3fe1cc75adc662fb847d91dca17 /doc | |
parent | 10ef5bf7f965b92e79777309f62ffc3fc9787065 (diff) | |
parent | 87b57e88755f130159b759b8a9954c362bc463d4 (diff) | |
download | Ninja-bfe8cd9b34d117201ffecd639e4b694f18648242.zip Ninja-bfe8cd9b34d117201ffecd639e4b694f18648242.tar.gz Ninja-bfe8cd9b34d117201ffecd639e4b694f18648242.tar.bz2 |
Merge pull request #1131 from bradking/improve-EdgeFinished-signature
Improve Plan::EdgeFinished signature
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions