src/Pure/Admin/component_rsync.scala
Sat, 08 Apr 2023 18:08:20 +0200 wenzelm use remote copy of locally installed rsync component: for uniform version and options;
Thu, 30 Mar 2023 16:02:25 +0200 wenzelm tuned message;
Thu, 30 Mar 2023 12:56:29 +0200 wenzelm more operations;
Thu, 30 Mar 2023 12:03:59 +0200 wenzelm clarified directory names, following bash_process (see e59d7d6fe1bd);
Thu, 30 Mar 2023 11:58:53 +0200 wenzelm tuned README;
Thu, 30 Mar 2023 11:40:51 +0200 wenzelm clarified build options;
Wed, 29 Mar 2023 22:40:10 +0200 wenzelm more portable options;
Wed, 29 Mar 2023 22:21:12 +0200 wenzelm build rsync from sources, to avoid divergence of protocols on various platforms;
less more (0) tip