projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: f7f5468 8e20867)
Merge pull request #697 from nico/gclogs
authorNico Weber <nicolasweber@gmx.de>
Tue, 7 Jan 2014 00:17:14 +0000 (16:17 -0800)
committerNico Weber <nicolasweber@gmx.de>
Tue, 7 Jan 2014 00:17:14 +0000 (16:17 -0800)
Remove old outputs from build log and deps log during recompaction.


Trivial merge
Domain: System / Base;