| Tue, 21 Nov 1995 12:40:04 +0100 | clasohm | added local index.html files to rm_html.sh; | file | diff | annotate |
| Tue, 07 Nov 1995 13:15:43 +0100 | clasohm | changed for new naming style of HTML files (leading ".") | file | diff | annotate |
| Thu, 26 Oct 1995 14:02:33 +0100 | clasohm | script for removal of HTML files | file | diff | annotate |