changeset 9789 | 7e5e6c47c0b5 |
parent 5051 | 3b45aee5c7ec |
child 14981 | e73f8140af78 |
--- a/lib/scripts/fixgoal.pl Fri Sep 01 17:50:36 2000 +0200 +++ b/lib/scripts/fixgoal.pl Fri Sep 01 17:54:58 2000 +0200 @@ -1,5 +1,7 @@ # # $Id$ +# Author: Markus Wenzel, TU Muenchen +# License: GPL (GNU GENERAL PUBLIC LICENSE) # # fixgoal.pl - replace goal(w) commands by implicit versions Goal(w) #