append a session's history on shell exit and unlimited history list
[lab.git] / .bash_profile
2010-12-13 mitty * categorize directories to Dev or TipAndDoc
2010-06-01 mitty * rename bin/ to '.bin/'
2009-11-17 mitty * delete obsolete line
2009-11-17 mitty * load ~/bin for custom user scripts