Nicolas 918a78cfdb man: rename file to *.plugin.zsh (#6016) ...

Also fixed minor typo

Closes #6108

Co-authored-by: Matt <sifrawr@gmail.com>

2018-09-16 20:16:16 +02:00

..

man.plugin.zsh

man: rename file to *.plugin.zsh (#6016)

2018-09-16 20:16:16 +02:00