projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 2b63e14 213c44a)
Merge pull request #820 from nico/ohceedee
authorNico Weber <nicolasweber@gmx.de>
Fri, 19 Sep 2014 04:30:19 +0000 (21:30 -0700)
committerNico Weber <nicolasweber@gmx.de>
Fri, 19 Sep 2014 04:30:19 +0000 (21:30 -0700)
Don't print "Recompacting..." message from tests.


Trivial merge
Domain: System / Base;