projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 10ef5bf 87b57e8)
Merge pull request #1131 from bradking/improve-EdgeFinished-signature
authorNico Weber <nicolasweber@gmx.de>
Tue, 19 Apr 2016 20:18:05 +0000 (16:18 -0400)
committerNico Weber <nicolasweber@gmx.de>
Tue, 19 Apr 2016 20:18:05 +0000 (16:18 -0400)
Improve Plan::EdgeFinished signature


Trivial merge
Domain: System / Base;