append a session's history on shell exit and unlimited history list
[lab.git] / misc / removejs.pl
2012-03-27 mitty * remove <script> tags from HTML source