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

6 lines
86 B
Plaintext

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