Home Explore Help
Sign In
HonorLee
/
ohmyzsh
mirror of https://github.com/ohmyzsh/ohmyzsh.git
1
0
Fork 0
Files Issues 0 Wiki
Browse Source

Renaming colored-man to colored-man-pages because it needs to be.

Robby Russell 9 years ago
parent
f3fa41834d
commit
bb509dda23
1 changed files with 0 additions and 0 deletions
Split View Show Diff Stats
  1. 0 0
      plugins/colored-man-pages/colored-man-pages.plugin.zsh

plugins/colored-man/colored-man.plugin.zsh → plugins/colored-man-pages/colored-man-pages.plugin.zsh
View File