| changeset 9789 | 7e5e6c47c0b5 |
| parent 4268 | 90779455c9a7 |
| child 14981 | e73f8140af78 |
| 9788:df671fa2562a | 9789:7e5e6c47c0b5 |
|---|---|
1 # |
1 # |
2 # $Id$ |
2 # $Id$ |
3 # Author: Markus Wenzel, TU Muenchen |
|
4 # License: GPL (GNU GENERAL PUBLIC LICENSE) |
|
3 # |
5 # |
4 # fixseq.pl - fix references to obsolete Pure/Sequence structure |
6 # fixseq.pl - fix references to obsolete Pure/Sequence structure |
5 # |
7 # |
6 |
8 |
7 sub fixseq { |
9 sub fixseq { |