git://git.iain.cx/iain / profile.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Shortcut to setting PROFILE_HOME.
[profile.git] / .PATH / mandirs.pre
1 $HOME/opt/man
Home directory stuff.