src/Pure/build-jars
changeset 59441 ab2c3597f1d3
parent 59392 02bacfc31446
child 59459 985fc55e9f27
     1.1 --- a/src/Pure/build-jars	Sun Jan 25 17:17:37 2015 +0100
     1.2 +++ b/src/Pure/build-jars	Sun Jan 25 17:48:14 2015 +0100
     1.3 @@ -104,6 +104,7 @@
     1.4    library.scala
     1.5    term.scala
     1.6    term_xml.scala
     1.7 +  "../Tools/Graphview/graph_file.scala"
     1.8    "../Tools/Graphview/graph_panel.scala"
     1.9    "../Tools/Graphview/layout.scala"
    1.10    "../Tools/Graphview/main_panel.scala"