append a session's history on shell exit and unlimited history list
[lab.git] / Commentary / tsukuba.pm /
2012-07-07 mitty * memo for tsukuba.pm #2