summarylogtreecommitdiffstats
path: root/tla-tools
blob: 878a3e92eb1e4df248233b583a3e941ea737749d (plain) 
1
2

#!/bin/sh
exec java -classpath /usr/share/java/tla2tools.jar "$@"