projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c8ac05c b1f9696)
Merge pull request #607 from dajohi/master
authorNico Weber <nicolasweber@gmx.de>
Mon, 1 Jul 2013 21:34:05 +0000 (14:34 -0700)
committerNico Weber <nicolasweber@gmx.de>
Mon, 1 Jul 2013 21:34:05 +0000 (14:34 -0700)
Support Bitrig


Trivial merge
Domain: System / Base;