Move into an external dir
[zsh.git] / .zsh / external /
2016-11-03 Joerg JaspertMove into an external dir