projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d63fe50 e605fcc)
Merge pull request #1113 from nico/nosetsid
authorNico Weber <nicolasweber@gmx.de>
Sat, 5 Mar 2016 02:21:14 +0000 (18:21 -0800)
committerNico Weber <nicolasweber@gmx.de>
Sat, 5 Mar 2016 02:21:14 +0000 (18:21 -0800)
Revert #910.


Trivial merge
Domain: System / Base;