Document the other new options
[zsh.git] / .zsh / zshenv.home
2013-03-03 Joerg Jaspertmany changes