src/Pure/build-jars
changeset 65743 4847ca570454
parent 65734 03257db12a04
child 65770 fb8a7962f2ae
     1.1 --- a/src/Pure/build-jars	Sat May 06 12:59:16 2017 +0200
     1.2 +++ b/src/Pure/build-jars	Sat May 06 19:23:33 2017 +0200
     1.3 @@ -17,8 +17,8 @@
     1.4    Admin/build_log.scala
     1.5    Admin/build_polyml.scala
     1.6    Admin/build_release.scala
     1.7 -  Admin/build_stats.scala
     1.8    Admin/build_stats_legacy.scala
     1.9 +  Admin/build_status.scala
    1.10    Admin/check_sources.scala
    1.11    Admin/ci_profile.scala
    1.12    Admin/isabelle_cronjob.scala