src/Pure/build-jars
changeset 65734 03257db12a04
parent 65650 48ef286b847b
child 65743 4847ca570454
     1.1 --- a/src/Pure/build-jars	Fri May 05 18:32:18 2017 +0200
     1.2 +++ b/src/Pure/build-jars	Fri May 05 18:35:30 2017 +0200
     1.3 @@ -18,6 +18,7 @@
     1.4    Admin/build_polyml.scala
     1.5    Admin/build_release.scala
     1.6    Admin/build_stats.scala
     1.7 +  Admin/build_stats_legacy.scala
     1.8    Admin/check_sources.scala
     1.9    Admin/ci_profile.scala
    1.10    Admin/isabelle_cronjob.scala