summarylogtreecommitdiffstats
path: root/tlc-dist-server
blob: da1d1d9f6eed33a26208218d29afb1ab60a3eff6 (plain) 
1
2

#!/bin/sh
exec "$(dirname "$0")"/tla-tools tlc2.tool.distributed.TLCServer "$@"