summarylogtreecommitdiffstats
path: root/tlc-dist-fp
blob: dccc6ac9c4ee2b30fcd54c6fe50f8951b118f87f (plain) 
1
2

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