src/Pure/build-jars
changeset 67041 f8b0367046bd
parent 67016 57d58c3cf16b
child 67054 9498b7522a99
     1.1 --- a/src/Pure/build-jars	Fri Nov 10 22:05:30 2017 +0100
     1.2 +++ b/src/Pure/build-jars	Sat Nov 11 14:35:41 2017 +0100
     1.3 @@ -139,6 +139,7 @@
     1.4    Tools/doc.scala
     1.5    Tools/imports.scala
     1.6    Tools/main.scala
     1.7 +  Tools/mkroot.scala
     1.8    Tools/print_operation.scala
     1.9    Tools/profiling_report.scala
    1.10    Tools/server.scala