?  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 / tlc
blob163bcd05291982e87eb6c963575dd941f4628eae
1 #!/bin/sh
2 java -classpath /usr/share/java/tla-tools tlc2.TLC $@
AUR mirror