projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 381e56a 23de4b2)
Merge pull request #964 from nicolasdespres/sighup
authorNico Weber <nicolasweber@gmx.de>
Thu, 12 Nov 2015 00:51:29 +0000 (16:51 -0800)
committerNico Weber <nicolasweber@gmx.de>
Thu, 12 Nov 2015 00:51:29 +0000 (16:51 -0800)
Cleanup build on SIGHUP.


Trivial merge
Domain: System / Base;