diff options
| author | Robby Russell <robby@planetargon.com> | 2015-08-30 21:49:07 -0700 |
|---|---|---|
| committer | Robby Russell <robby@planetargon.com> | 2015-08-30 21:49:07 -0700 |
| commit | c1bff7798a833ac795d1a2974147001d9c2ad58f (patch) | |
| tree | 6e75acc373a04a07c71012ad43771c91f17c689b /plugins/debian | |
| parent | 3f9537767652b6dfd58c57683e752a756537d8f3 (diff) | |
| parent | c83575da3fb103af55215835c9e4add2665fbc86 (diff) | |
| download | zsh-c1bff7798a833ac795d1a2974147001d9c2ad58f.tar.gz zsh-c1bff7798a833ac795d1a2974147001d9c2ad58f.tar.bz2 zsh-c1bff7798a833ac795d1a2974147001d9c2ad58f.zip | |
Merge pull request #4195 from jerryling315/master
Add 'man' plugin.
Diffstat (limited to 'plugins/debian')
0 files changed, 0 insertions, 0 deletions