projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 1e21e5f 684bf38)
Merge pull request #859 from martine/platform-helper
authorEvan Martin <martine@danga.com>
Tue, 18 Nov 2014 19:50:09 +0000 (11:50 -0800)
committerEvan Martin <martine@danga.com>
Tue, 18 Nov 2014 19:50:09 +0000 (11:50 -0800)
merge platform_helper into configure script


Trivial merge
Domain: System / Base;