projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: a8b23a4 d13eb33)
Merge pull request #817 from nico/warn
authorNico Weber <nicolasweber@gmx.de>
Thu, 18 Sep 2014 15:18:40 +0000 (08:18 -0700)
committerNico Weber <nicolasweber@gmx.de>
Thu, 18 Sep 2014 15:18:40 +0000 (08:18 -0700)
fix warning


Trivial merge
Domain: System / Base;