src/Pure/General/rsync.scala
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