projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 1d9184c e327831)
Merge pull request #808 from nico/bettererror
authorNico Weber <nicolasweber@gmx.de>
Thu, 4 Sep 2014 02:33:47 +0000 (19:33 -0700)
committerNico Weber <nicolasweber@gmx.de>
Thu, 4 Sep 2014 02:33:47 +0000 (19:33 -0700)
Provide an error message on malformed lets. Fixes #807.


Trivial merge
Domain: System / Base;