projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 4ffe56d 530d2b1)
Merge pull request #1046 from zed0/master
authorNico Weber <nicolasweber@gmx.de>
Thu, 12 Nov 2015 05:46:19 +0000 (21:46 -0800)
committerNico Weber <nicolasweber@gmx.de>
Thu, 12 Nov 2015 05:46:19 +0000 (21:46 -0800)
Speed up zsh target completion


Trivial merge
Domain: System / Base;