changeset 75549 | 4b21e823d35f |
parent 75523 | 0dcaf0e5107b |
child 75555 | 197a5b3a1ea2 |
--- a/etc/build.props Fri Jun 10 13:48:37 2022 +0200 +++ b/etc/build.props Fri Jun 10 13:53:43 2022 +0200 @@ -38,7 +38,7 @@ src/Pure/Admin/isabelle_devel.scala \ src/Pure/Admin/jenkins.scala \ src/Pure/Admin/other_isabelle.scala \ - src/Pure/Admin/sync_repos.scala \ + src/Pure/Admin/sync.scala \ src/Pure/Concurrent/consumer_thread.scala \ src/Pure/Concurrent/counter.scala \ src/Pure/Concurrent/delay.scala \