projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c611716 ade82bd)
Merge pull request #975 from nico/docs
authorNico Weber <nicolasweber@gmx.de>
Fri, 19 Jun 2015 00:34:37 +0000 (17:34 -0700)
committerNico Weber <nicolasweber@gmx.de>
Fri, 19 Jun 2015 00:34:37 +0000 (17:34 -0700)
Document the change from #921 in the manual.


Trivial merge
Domain: System / Base;