diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-10-29 23:06:58 -0400 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-10-29 23:48:10 -0400 |
commit | 372b221166eb586c4f767969f442ed940e21f353 (patch) | |
tree | ac5581878d203a2d74a62c85514893514cfb96e6 /tools | |
parent | fec1530e6b5b8d6dc352c7338010357126e84621 (diff) |
bash-completion: use improved filtering to make things faster
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions