projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: dfde1a7 4213308)
Merge pull request #768 from nico/vimsyn
authorNico Weber <nicolasweber@gmx.de>
Fri, 30 May 2014 00:58:33 +0000 (17:58 -0700)
committerNico Weber <nicolasweber@gmx.de>
Fri, 30 May 2014 00:58:33 +0000 (17:58 -0700)
vim syntax: Correctly highlight $$a as ($$)a instead of $($a).


Trivial merge
Domain: System / Base;