| Mon, 06 Mar 2000 15:24:07 +0100 | kleing | switched to mirroring with rsync server | file | diff | annotate |
| Wed, 01 Mar 2000 16:40:14 +0100 | wenzelm | test setup; | file | diff | annotate |
| Wed, 01 Mar 2000 16:39:17 +0100 | wenzelm | proper setup; | file | diff | annotate |
| Wed, 09 Feb 2000 14:35:23 +0100 | wenzelm | mirror dist page; | file | diff | annotate |