projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 74a4029 c2307f9)
Merge pull request #1049 from nico/update-links
authorNico Weber <nicolasweber@gmx.de>
Wed, 11 Nov 2015 19:54:07 +0000 (11:54 -0800)
committerNico Weber <nicolasweber@gmx.de>
Wed, 11 Nov 2015 19:54:07 +0000 (11:54 -0800)
Make links point to org page


Trivial merge
Domain: System / Base;