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 |