* remove obsolete pragma "use encoding 'utf-8';"
[lab.git] / misc / removejs.pl
2012-03-27 mitty * remove <script> tags from HTML source