index
:
zsh.git
master
Unnamed repository; edit this file 'description' to name the repository.
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
plugins
/
man
/
man.plugin.zsh
Age
Commit message (
Collapse
)
Author
2018-09-16
man: rename file to *.plugin.zsh (#6016)
Nicolas
Also fixed minor typo Closes #6108 Co-authored-by: Matt <sifrawr@gmail.com>