chiark / gitweb /
zsh-completion: remove duplicate function