?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
updated on Thu Jan 26 16:09:46 UTC 2012
[aur-mirror.git] / tla-tools / pcal2tla
blob7b7cc3143610fa605a554aac2f0031446a234083
1 #!/bin/sh
2 java -classpath /usr/share/java/tla-tools pcal.trans $@
AUR mirror