| Wed, 12 May 2010 13:54:49 +0200 | wenzelm | removed obsolete CVS Ids; | file | diff | annotate |
| Tue, 07 Oct 2008 11:51:31 +0200 | wenzelm | updated to official version as of 07-Oct-2008; | file | diff | annotate |
| Mon, 24 Mar 2008 15:59:56 +0100 | wenzelm | replaced obsolete /usr/proj by /home; | file | diff | annotate |
| Fri, 11 Jan 2002 17:04:49 +0100 | wenzelm | #!/usr/bin/env bash; | file | diff | annotate |
| Mon, 06 Mar 2000 15:24:07 +0100 | kleing | switched to mirroring with rsync server | file | diff | annotate |