| Fri, 16 Apr 2004 09:27:32 +0200 | kleing | make weblint happy | file | diff | annotate |
| Sat, 07 Apr 2001 19:38:01 +0200 | wenzelm | tuned | file | diff | annotate |
| Wed, 27 Sep 2000 19:39:50 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 26 Sep 2000 18:27:50 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 26 Sep 2000 17:06:16 +0200 | wenzelm | weblint; | file | diff | annotate |
| Wed, 20 Sep 2000 21:20:26 +0200 | wenzelm | added "install" target; | file | diff | annotate |
| Mon, 11 Sep 2000 17:41:34 +0200 | wenzelm | improved WWW page generation (still somewhat experimental); | file | diff | annotate |
| Mon, 17 Jan 2000 15:51:37 +0100 | kleing | Id line inserted | file | diff | annotate |
| Mon, 17 Jan 2000 15:49:55 +0100 | kleing | changes for the makepage script in Admin | file | diff | annotate |
| Thu, 09 Dec 1999 11:34:32 +0100 | kleing | new webpage layout | file | diff | annotate |