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
/
sany
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 'sany')
-rw-r--r--
sany
2
1 files changed, 2 insertions, 0 deletions
diff --git a/sany b/sany
new file mode 100644
index 000000000000..5ed23f9eacec
--- /dev/null
+++ b/
sany
@@ -0,0 +1,2 @@
+#!/bin/sh
+java -classpath /usr/share/java/tla-tools tla2sany.SANY $@