projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: f0b83f7 9bdb064)
Merge pull request #781 from nico/cleaner
authorNico Weber <nicolasweber@gmx.de>
Mon, 16 Jun 2014 17:33:23 +0000 (10:33 -0700)
committerNico Weber <nicolasweber@gmx.de>
Mon, 16 Jun 2014 17:33:23 +0000 (10:33 -0700)
simplify statcache code more


Trivial merge
Domain: System / Base;