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

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