zshplugin/man
2
0
Fork 0
Code Issues Pull requests Releases Activity
man/README.md
Sebastian Mark d143e0f756 Genesis
2018-06-25 22:08:43 +02:00

80 B
Raw Permalink Blame History

man zsh plugin

prefixes a command with man by pressing F1 twice