changeset 59232 | 07a7dfd6d694 |
parent 59202 | 711c2446dc9d |
child 59244 | 19b5fc4b2b38 |
--- a/src/Pure/build-jars Thu Jan 01 20:50:20 2015 +0100 +++ b/src/Pure/build-jars Thu Jan 01 21:01:18 2015 +0100 @@ -103,7 +103,7 @@ term.scala term_xml.scala "../Tools/Graphview/graph_panel.scala" - "../Tools/Graphview/layout_pendulum.scala" + "../Tools/Graphview/layout.scala" "../Tools/Graphview/main_panel.scala" "../Tools/Graphview/model.scala" "../Tools/Graphview/mutator_dialog.scala"