Christian Höltje 67d74cbc2d Don't override ZSH_COMPDUMP if already set. ...

This allows customization via .zshenv if wanted. This is helpful
for zsh developers and people who want to move it out of $HOME

2014-06-07 10:13:21 +02:00

2.5 KiB

Raw Blame History

View Raw