projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9a4eb58 48e6477)
Merge pull request #1082 from nicolasdespres/zshcomp-intermediary-targets
authorNico Weber <nicolasweber@gmx.de>
Tue, 29 Dec 2015 15:03:08 +0000 (10:03 -0500)
committerNico Weber <nicolasweber@gmx.de>
Tue, 29 Dec 2015 15:03:08 +0000 (10:03 -0500)
Teach zsh to complete intermediary targets.


Trivial merge
Domain: System / Base;