| Mon, 10 Sep 2001 13:57:57 +0200 | wenzelm | tuned usage; | file | diff | annotate |
| Tue, 21 Mar 2000 15:32:08 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 21 Mar 2000 15:26:21 +0100 | wenzelm | tuned comment; | file | diff | annotate |
| Tue, 21 Mar 2000 15:23:33 +0100 | wenzelm | help message; | file | diff | annotate |
| Thu, 09 Mar 2000 17:27:54 +0100 | wenzelm | renamed to rsync-isabelle; | file | diff | annotate |