changeset 9789 | 7e5e6c47c0b5 |
parent 4110 | d7c963600bda |
child 14981 | e73f8140af78 |
--- a/lib/scripts/fixclasimp.pl Fri Sep 01 17:50:36 2000 +0200 +++ b/lib/scripts/fixclasimp.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) # # fixclasimp.pl - fix references to implicit claset and simpset #