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