src/Pure/build-jars
changeset 63646 74604a9fc4c8
parent 63644 ed266398da33
child 63686 66f217416da7
     1.1 --- a/src/Pure/build-jars	Tue Aug 09 23:19:35 2016 +0200
     1.2 +++ b/src/Pure/build-jars	Tue Aug 09 23:26:51 2016 +0200
     1.3 @@ -104,6 +104,7 @@
     1.4    Tools/build_doc.scala
     1.5    Tools/check_keywords.scala
     1.6    Tools/check_sources.scala
     1.7 +  Tools/ci_api.scala
     1.8    Tools/ci_profile.scala
     1.9    Tools/debugger.scala
    1.10    Tools/doc.scala