updated on Thu Jan 19 20:01:47 UTC 2012
[aur-mirror.git] / tla-tools / pcal2tla
blob7b7cc3143610fa605a554aac2f0031446a234083
1 #!/bin/sh
2 java -classpath /usr/share/java/tla-tools pcal.trans $@