changeset 29145 | b1c6f4563df7 |
parent 26215 | 94d32a7cd0fb |
29144:ca186ebbd824 | 29145:b1c6f4563df7 |
---|---|
1 #!/usr/bin/env bash |
1 #!/usr/bin/env bash |
2 # |
2 # |
3 # $Id$ |
|
4 # Author: Markus Wenzel, TU Muenchen |
3 # Author: Markus Wenzel, TU Muenchen |
5 # |
4 # |
6 # Poly/ML 4.x startup script. |
5 # Poly/ML 4.x startup script. |
7 |
6 |
8 export -n INFILE OUTFILE COPYDB COMPRESS MLTEXT TERMINATE NOWRITE |
7 export -n INFILE OUTFILE COPYDB COMPRESS MLTEXT TERMINATE NOWRITE |