From bb509dda236f8ed04b90806bc66f4ad1a41f57bc Mon Sep 17 00:00:00 2001 From: Robby Russell Date: Fri, 9 Oct 2015 07:07:57 -0700 Subject: [PATCH] Renaming colored-man to colored-man-pages because it needs to be. --- .../colored-man-pages.plugin.zsh} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename plugins/{colored-man/colored-man.plugin.zsh => colored-man-pages/colored-man-pages.plugin.zsh} (100%) diff --git a/plugins/colored-man/colored-man.plugin.zsh b/plugins/colored-man-pages/colored-man-pages.plugin.zsh similarity index 100% rename from plugins/colored-man/colored-man.plugin.zsh rename to plugins/colored-man-pages/colored-man-pages.plugin.zsh