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