projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 51f06fa 7ed4457)
Merge pull request #928 from nico/novar
authorEvan Martin <martine@danga.com>
Tue, 10 Mar 2015 23:47:44 +0000 (16:47 -0700)
committerEvan Martin <martine@danga.com>
Tue, 10 Mar 2015 23:47:44 +0000 (16:47 -0700)
Remove option no longer needed now that we don't use gtest.


Trivial merge
Domain: System / Base;