--- a/src/Tools/Graphview/graph_panel.scala Fri Jan 02 20:54:14 2015 +0100
+++ b/src/Tools/Graphview/graph_panel.scala Fri Jan 02 21:19:34 2015 +0100
@@ -1,5 +1,6 @@
/* Title: Tools/Graphview/graph_panel.scala
Author: Markus Kaiser, TU Muenchen
+ Author: Makarius
Graphview Java2D drawing panel.
*/