# HG changeset patch
# User wenzelm
# Date 1680975291 -7200
# Node ID 6d03e2114ec59c2558c551428abed4273970552f
# Parent  b81b2c50fc7c778ad7e695c63249500e4782865e
tuned comments;

diff -r b81b2c50fc7c -r 6d03e2114ec5 src/Pure/General/rsync.scala
--- a/src/Pure/General/rsync.scala	Sat Apr 08 19:32:09 2023 +0200
+++ b/src/Pure/General/rsync.scala	Sat Apr 08 19:34:51 2023 +0200
@@ -1,7 +1,7 @@
 /*  Title:      Pure/General/rsync.scala
     Author:     Makarius
 
-Support for rsync: see also https://rsync.samba.org
+Support for rsync, based on Isabelle component.
 */
 
 package isabelle