src/Pure/build-jars
changeset 57034 6e10bf974693
parent 57032 cf570f3ecdc1
child 57580 86b413b8f779
     1.1 --- a/src/Pure/build-jars	Wed May 21 12:14:03 2014 +0200
     1.2 +++ b/src/Pure/build-jars	Wed May 21 12:34:27 2014 +0200
     1.3 @@ -98,7 +98,6 @@
     1.4    term.scala
     1.5    term_xml.scala
     1.6    "../Tools/Graphview/src/graph_panel.scala"
     1.7 -  "../Tools/Graphview/src/graphview.scala"
     1.8    "../Tools/Graphview/src/layout_pendulum.scala"
     1.9    "../Tools/Graphview/src/main_panel.scala"
    1.10    "../Tools/Graphview/src/model.scala"