projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: f561c87 cfde750)
Merge pull request #791 from nico/relmore
authorNico Weber <nicolasweber@gmx.de>
Fri, 27 Jun 2014 21:11:58 +0000 (14:11 -0700)
committerNico Weber <nicolasweber@gmx.de>
Fri, 27 Jun 2014 21:11:58 +0000 (14:11 -0700)
also note that branch release needs to be pushed


Trivial merge
Domain: System / Base;