src/Pure/General/rsync.scala
Fri, 16 Sep 2022 14:57:48 +0200 wenzelm clarified modules;
Tue, 13 Sep 2022 11:56:38 +0200 wenzelm let rsync re-use ssh connection via control path;
Tue, 13 Sep 2022 09:59:08 +0200 wenzelm clarified default: do not override port from ssh_config, which could be different from 22;
Sat, 11 Jun 2022 20:45:14 +0200 wenzelm more comments;
Tue, 07 Jun 2022 17:47:28 +0200 wenzelm more robust: no change of directory attributes of initial test, notably target without .hg_sync meta data;
Tue, 07 Jun 2022 17:22:17 +0200 wenzelm clarified context with global defaults;
Tue, 07 Jun 2022 17:10:51 +0200 wenzelm tuned signature;
Tue, 07 Jun 2022 17:07:10 +0200 wenzelm clarified signature: more explicit type Rsync.Context;
Tue, 07 Jun 2022 16:47:57 +0200 wenzelm clarified signature;
Tue, 07 Jun 2022 12:32:53 +0200 wenzelm clarified modules;
less more (0) tip