commit | d6eb8baf8130ab93140395dceca363774092135d | [log] [tgz] |
---|---|---|
author | Nico Weber <nicolasweber@gmx.de> | Thu May 18 16:41:35 2017 -0400 |
committer | GitHub <noreply@github.com> | Thu May 18 16:41:35 2017 -0400 |
tree | 1a1a0f74703a12e1399587c8305b4616d70a0a60 | |
parent | 2fc5b9e34bc38c7a8c4c33f39990f847325beffd [diff] | |
parent | ad545320a78d3c61f42dab14767d05139a871c0a [diff] |
Merge pull request #1280 from RedBeard0531/zsh_completion_explicit_file Make zsh completion use explicitly specified ninja files