projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d176374 1a8e545)
Merge pull request #1102 from bradking/remove-unnecessary-StatIfNecessary
authorNico Weber <nicolasweber@gmx.de>
Sat, 5 Mar 2016 01:43:33 +0000 (17:43 -0800)
committerNico Weber <nicolasweber@gmx.de>
Sat, 5 Mar 2016 01:43:33 +0000 (17:43 -0800)
Remove StatIfNecessary call that is never necessary


Trivial merge
Domain: System / Base;