projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9df5a28 9ea8bdd)
Merge pull request #722 from nico/manifestgen
authorNico Weber <nicolasweber@gmx.de>
Mon, 14 Apr 2014 17:43:15 +0000 (10:43 -0700)
committerNico Weber <nicolasweber@gmx.de>
Mon, 14 Apr 2014 17:43:15 +0000 (10:43 -0700)
add a script to generate large synthetic manifests


Trivial merge
Domain: System / Base;