| Wed, 18 Sep 2002 18:19:43 +0200 | kleing | comments + usage | file | diff | annotate |
| Fri, 11 Jan 2002 17:04:49 +0100 | wenzelm | #!/usr/bin/env bash; | file | diff | annotate |
| Tue, 28 Nov 2000 01:22:56 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 09 Mar 2000 17:27:54 +0100 | wenzelm | renamed to rsync-isabelle; | file | diff | annotate |
| Thu, 09 Mar 2000 17:25:28 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 09 Mar 2000 17:19:49 +0100 | kleing | made rsync "official" | file | diff | annotate |
| Mon, 06 Mar 2000 15:44:51 +0100 | wenzelm | rsyncd setup; | file | diff | annotate |
| 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 |