src/Pure/build-jars
changeset 68308 119fc05f6b00
parent 68265 f0899dad4877
child 68713 fb44580680c4
     1.1 --- a/src/Pure/build-jars	Mon May 28 21:29:03 2018 +0200
     1.2 +++ b/src/Pure/build-jars	Mon May 28 22:25:10 2018 +0200
     1.3 @@ -137,6 +137,7 @@
     1.4    Thy/thy_header.scala
     1.5    Thy/thy_resources.scala
     1.6    Thy/thy_syntax.scala
     1.7 +  Tools/dump.scala
     1.8    Tools/build.scala
     1.9    Tools/build_docker.scala
    1.10    Tools/check_keywords.scala