| changeset 29145 | b1c6f4563df7 |
| parent 26375 | 234f10289d97 |
| child 31315 | 3c7b40548a84 |
| 29144:ca186ebbd824 | 29145:b1c6f4563df7 |
|---|---|
1 #!/usr/bin/env bash |
1 #!/usr/bin/env bash |
2 # |
2 # |
3 # $Id$ |
|
4 # Author: Makarius |
3 # Author: Makarius |
5 # |
4 # |
6 # Poly/ML 5.0 startup script. |
5 # Poly/ML 5.0 startup script. |
7 |
6 |
8 export -n INFILE OUTFILE COPYDB COMPRESS MLTEXT TERMINATE NOWRITE |
7 export -n INFILE OUTFILE COPYDB COMPRESS MLTEXT TERMINATE NOWRITE |