projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 12be2ff 2c241d7)
Merge pull request #851 from nico/cleanup
authorNico Weber <nicolasweber@gmx.de>
Fri, 14 Nov 2014 01:35:10 +0000 (17:35 -0800)
committerNico Weber <nicolasweber@gmx.de>
Fri, 14 Nov 2014 01:35:10 +0000 (17:35 -0800)
Remove unused variables.


Trivial merge
Domain: System / Base;