summarylogtreecommitdiffstats
path: root/tla2json
blob: 0472a519de0dda387a25ae6eb80ed26462667c9a (plain) 
1
2

#!/bin/bash
exec java -jar /usr/share/java/tla2json.jar "$@"