projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b26f978 957a801)
Merge pull request #383 from nico/fix380
authorEvan Martin <martine@danga.com>
Sat, 28 Jul 2012 18:04:57 +0000 (11:04 -0700)
committerEvan Martin <martine@danga.com>
Sat, 28 Jul 2012 18:04:57 +0000 (11:04 -0700)
Fix issue #380.


Trivial merge
Domain: System / Base;