2002-09-18 | kleing | comments + usage | file | diff | annotate |
2002-01-11 | wenzelm | #!/usr/bin/env bash; | file | diff | annotate |
2000-11-28 | wenzelm | tuned; | file | diff | annotate |
2000-03-09 | wenzelm | renamed to rsync-isabelle; | file | diff | annotate |
2000-03-09 | wenzelm | tuned; | file | diff | annotate |
2000-03-09 | kleing | made rsync "official" | file | diff | annotate |
2000-03-06 | wenzelm | rsyncd setup; | file | diff | annotate |
2000-03-06 | kleing | switched to mirroring with rsync server | file | diff | annotate |
2000-03-01 | wenzelm | test setup; | file | diff | annotate |
2000-03-01 | wenzelm | proper setup; | file | diff | annotate |
2000-02-09 | wenzelm | mirror dist page; | file | diff | annotate |