src/Pure/build-jars
changeset 64202 967515846691
parent 64188 f88bae1922c4
child 64264 42138702d6ec
     1.1 --- a/src/Pure/build-jars	Thu Oct 13 23:09:26 2016 +0200
     1.2 +++ b/src/Pure/build-jars	Thu Oct 13 23:44:40 2016 +0200
     1.3 @@ -12,6 +12,7 @@
     1.4    Admin/build_doc.scala
     1.5    Admin/build_history.scala
     1.6    Admin/build_log.scala
     1.7 +  Admin/build_release.scala
     1.8    Admin/build_stats.scala
     1.9    Admin/check_sources.scala
    1.10    Admin/ci_api.scala