bb509dda236f8ed04b90806bc66f4ad1a41f57bc
- Author
- Robby Russell <robby@planetargon.com>
- Committer
- Robby Russell <robby@planetargon.com>
- Date
Message
Renaming colored-man to colored-man-pages because it needs to be.
Diff
1diff --git a/plugins/colored-man/colored-man.plugin.zsh b/plugins/colored-man-pages/colored-man-pages.plugin.zsh
2rename from plugins/colored-man/colored-man.plugin.zsh
3rename to plugins/colored-man-pages/colored-man-pages.plugin.zsh