updated on Mon Jan 16 12:07:49 UTC 2012
[aur-mirror.git] / tla-tools / tlc
blob163bcd05291982e87eb6c963575dd941f4628eae
1 #!/bin/sh
2 java -classpath /usr/share/java/tla-tools tlc2.TLC $@