* add $HOME/bin to $PATH if it exists
[lab.git] / TipAndDoc / .bash_profile
2011-02-16 mitty * add admin tool path
2010-12-13 mitty * categorize directories to Dev or TipAndDoc