diff options
Diffstat (limited to 'tla2tex')
-rwxr-xr-x | tla2tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,2 +1,2 @@ #!/bin/sh -exec java -classpath /usr/share/java/tla2tools.jar tla2tex.TLA "$@" +exec tla-tools tla2tex.TLA "$@" |
AUR : tla-tools.git | |
AUR Package Repositories | click here to return to the package base details page |
summarylogtreecommitdiffstats |