projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 41f3b3e 0cfa7ce)
Merge pull request #945 from nico/reldocs
authorNico Weber <nicolasweber@gmx.de>
Wed, 25 Mar 2015 21:13:49 +0000 (14:13 -0700)
committerNico Weber <nicolasweber@gmx.de>
Wed, 25 Mar 2015 21:13:49 +0000 (14:13 -0700)
make notes on how to update docs more detailed


Trivial merge
Domain: System / Base;