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