changeset 75481 | 029cd4e1a2c7 |
parent 75377 | 4ce7d95612cb |
child 75523 | 0dcaf0e5107b |
--- a/etc/build.props Sun May 29 21:32:28 2022 +0200 +++ b/etc/build.props Sun May 29 22:43:31 2022 +0200 @@ -38,6 +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/Concurrent/consumer_thread.scala \ src/Pure/Concurrent/counter.scala \ src/Pure/Concurrent/delay.scala \