src/Pure/build-jars
changeset 65790 91940684a267
parent 65770 fb8a7962f2ae
child 65977 c51b74be23b6
     1.1 --- a/src/Pure/build-jars	Tue May 09 19:52:39 2017 +0200
     1.2 +++ b/src/Pure/build-jars	Tue May 09 19:57:04 2017 +0200
     1.3 @@ -17,7 +17,6 @@
     1.4    Admin/build_log.scala
     1.5    Admin/build_polyml.scala
     1.6    Admin/build_release.scala
     1.7 -  Admin/build_stats_legacy.scala
     1.8    Admin/build_status.scala
     1.9    Admin/check_sources.scala
    1.10    Admin/ci_profile.scala