projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9b156e4 fca5ea6)
Merge pull request #757 from cjdrake/master
authorNico Weber <nicolasweber@gmx.de>
Mon, 5 May 2014 03:25:57 +0000 (20:25 -0700)
committerNico Weber <nicolasweber@gmx.de>
Mon, 5 May 2014 03:25:57 +0000 (20:25 -0700)
Stylistic changes to ninja_syntax.py


Trivial merge
Domain: System / Base;