changeset 75523 | 0dcaf0e5107b |
parent 75512 | 2251548ec4a8 |
child 75524 | ff8012edac89 |
--- a/src/Pure/Admin/sync_repos.scala Mon Jun 06 19:39:21 2022 +0200 +++ b/src/Pure/Admin/sync_repos.scala Tue Jun 07 12:32:53 2022 +0200 @@ -38,7 +38,7 @@ for (hg <- afp_hg) { progress.echo_if(verbose, "\n* AFP repository:") - sync(hg, Isabelle_System.rsync_dir(target) + "/AFP", afp_rev) + sync(hg, Rsync.rsync_dir(target) + "/AFP", afp_rev) } }