Robby Russell
bb509dda23
Renaming colored-man to colored-man-pages because it needs to be.
|
8 years ago | |
|---|---|---|
| .. | ||
| colored-man-pages.plugin.zsh | 8 years ago | |
|
Robby Russell
bb509dda23
Renaming colored-man to colored-man-pages because it needs to be.
|
8 years ago | |
|---|---|---|
| .. | ||
| colored-man-pages.plugin.zsh | 8 years ago | |