append a session's history on shell exit and unlimited history list
[lab.git] / TipAndDoc / tools / trac / cgi-bin /
drwxr-xr-x   ..
-rwxr-xr-x 1071 trac.cgi
-rwxr-xr-x 1027 trac.fcgi