projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 4c552c2 c5ea04b)
Merge pull request #563 from nico/recompact-deps
authorNico Weber <nicolasweber@gmx.de>
Wed, 1 May 2013 18:10:47 +0000 (11:10 -0700)
committerNico Weber <nicolasweber@gmx.de>
Wed, 1 May 2013 18:10:47 +0000 (11:10 -0700)
Implement deps log recompaction.


Trivial merge
Domain: System / Base;