projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 207ff58 847089f)
Merge pull request #1052 from ninja-build/docs
authorNico Weber <nicolasweber@gmx.de>
Tue, 17 Nov 2015 22:20:12 +0000 (14:20 -0800)
committerNico Weber <nicolasweber@gmx.de>
Tue, 17 Nov 2015 22:20:12 +0000 (14:20 -0800)
Minor doc fixes


Trivial merge
Domain: System / Base;