Files
secondo/Optimizer/SecondoPLTTYCS
2026-01-23 17:03:45 +08:00

6 lines
89 B
Plaintext

#
# Startup script for running SECONDOTTY in optimizer mode
../bin/SecondoCS -pltty $*