diff -r d20cdab3bfeb -r e411afcfaa29 src/Tools/Graphview/mutator.scala
--- a/src/Tools/Graphview/mutator.scala	Fri Jan 02 20:54:14 2015 +0100
+++ b/src/Tools/Graphview/mutator.scala	Fri Jan 02 21:19:34 2015 +0100
@@ -1,5 +1,6 @@
 /*  Title:      Tools/Graphview/mutator.scala
     Author:     Markus Kaiser, TU Muenchen
+    Author:     Makarius
 
 Filters and add-operations on graphs.
 */