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