summarylogtreecommitdiffstats
path: root/sany
blob: 5ed23f9eacecc8482196666987b1e7b9d7487e3d (plain) 
1
2

#!/bin/sh
java -classpath /usr/share/java/tla-tools tla2sany.SANY $@