append a session's history on shell exit and unlimited history list
[lab.git] / Commentary / debhw /
2010-12-13 mitty * fix category name to upper case