Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/build-jars
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
isabelle