src/Pure/build-jars
changeset 65650 48ef286b847b
parent 65557 29c69a599743
child 65734 03257db12a04
     1.1 --- a/src/Pure/build-jars	Sun Apr 30 17:37:12 2017 +0200
     1.2 +++ b/src/Pure/build-jars	Sun Apr 30 23:11:51 2017 +0200
     1.3 @@ -19,9 +19,9 @@
     1.4    Admin/build_release.scala
     1.5    Admin/build_stats.scala
     1.6    Admin/check_sources.scala
     1.7 -  Admin/ci_api.scala
     1.8    Admin/ci_profile.scala
     1.9    Admin/isabelle_cronjob.scala
    1.10 +  Admin/jenkins.scala
    1.11    Admin/news.scala
    1.12    Admin/other_isabelle.scala
    1.13    Admin/remote_dmg.scala