projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d2a79b2 8605b3d)
Merge pull request #879 from nico/rev
authorNico Weber <nicolasweber@gmx.de>
Thu, 4 Dec 2014 02:17:27 +0000 (18:17 -0800)
committerNico Weber <nicolasweber@gmx.de>
Thu, 4 Dec 2014 02:17:27 +0000 (18:17 -0800)
Revert #223, fixes #874.


Trivial merge
Domain: System / Base;