src/Pure/Admin/component_rsync.scala
Thu, 28 Mar 2024 12:56:20 +0100 wenzelm rebuild rsync-3.2.7 on current platforms, including native arm64-darwin;
Thu, 28 Mar 2024 11:35:39 +0100 wenzelm tuned;
Tue, 26 Mar 2024 11:45:49 +0100 wenzelm tuned messages;
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