projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d63bd54 427614f)
Merge pull request #644 from nico/v3
authorNico Weber <nicolasweber@gmx.de>
Wed, 28 Aug 2013 21:05:04 +0000 (14:05 -0700)
committerNico Weber <nicolasweber@gmx.de>
Wed, 28 Aug 2013 21:05:04 +0000 (14:05 -0700)
Deps log format v3


Trivial merge
Domain: System / Base;