src/Pure/build-jars
changeset 69401 7a1b7b737c02
parent 69395 d1c4a1dee9e7
child 69426 91f46633bb4e
     1.1 --- a/src/Pure/build-jars	Tue Dec 04 16:11:52 2018 +0100
     1.2 +++ b/src/Pure/build-jars	Wed Dec 05 19:42:40 2018 +0100
     1.3 @@ -25,7 +25,6 @@
     1.4    Admin/isabelle_devel.scala
     1.5    Admin/jenkins.scala
     1.6    Admin/other_isabelle.scala
     1.7 -  Admin/remote_dmg.scala
     1.8    Concurrent/consumer_thread.scala
     1.9    Concurrent/counter.scala
    1.10    Concurrent/event_timer.scala