projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 8c782f1 65ad268)
Merge pull request #642 from nico/depslogidx
authorNico Weber <nicolasweber@gmx.de>
Mon, 26 Aug 2013 23:10:24 +0000 (16:10 -0700)
committerNico Weber <nicolasweber@gmx.de>
Mon, 26 Aug 2013 23:10:24 +0000 (16:10 -0700)
Suffix depslog path records with their expected index.


Trivial merge
Domain: System / Base;