src/Pure/build-jars
changeset 66347 23eaab37e4a8
parent 66211 100c9c997e2b
child 66790 c0e68e6a1beb
     1.1 --- a/src/Pure/build-jars	Sat Aug 05 15:48:02 2017 +0200
     1.2 +++ b/src/Pure/build-jars	Sat Aug 05 20:08:41 2017 +0200
     1.3 @@ -140,6 +140,7 @@
     1.4    Tools/main.scala
     1.5    Tools/print_operation.scala
     1.6    Tools/profiling_report.scala
     1.7 +  Tools/server.scala
     1.8    Tools/simplifier_trace.scala
     1.9    Tools/spell_checker.scala
    1.10    Tools/task_statistics.scala