projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c19ae93 1d5d088)
Merge pull request #970 from nico/explain
authorNico Weber <nicolasweber@gmx.de>
Thu, 18 Jun 2015 23:38:48 +0000 (16:38 -0700)
committerNico Weber <nicolasweber@gmx.de>
Thu, 18 Jun 2015 23:38:48 +0000 (16:38 -0700)
Add a missing EXPLAIN() call.


Trivial merge
Domain: System / Base;