Arch Linux User Repository
Home
Packages
Forums
Wiki
GitLab
Security
AUR
Download
AUR : tla-tools.git
AUR Package Repositories | click
here
to return to the package base details page
summary
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
tlc
diff options
context:
1
2
3
4
5
6
7
8
9
10
15
20
25
30
35
40
space:
include
ignore
mode:
unified
ssdiff
stat only
Diffstat
(limited to 'tlc')
-rwxr-xr-x
tlc
2
1 files changed, 1 insertions, 1 deletions
diff --git a/tlc b/tlc
index ad6519602b15..f937d6773343 100755
--- a/
tlc
+++ b/
tlc
@@ -1,2 +1,2 @@
#!/bin/sh
-exec java -classpath /usr/share/java/tla2tools.jar tlc2.TLC "$@"
+exec tla-tools tlc2.TLC "$@"