diff options
| author | SeineEloquenz | 2021-03-26 20:52:52 +0100 |
|---|---|---|
| committer | SeineEloquenz | 2021-03-26 20:52:52 +0100 |
| commit | f7669e4734b38635cf457de7957152ba1682aadf (patch) | |
| tree | d60a67441ee4b059770baa4212840080429f158d /key.sh | |
| download | aur-f7669e4734b38635cf457de7957152ba1682aadf.tar.gz | |
Create version 2.8.0
Diffstat (limited to 'key.sh')
| -rw-r--r-- | key.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/key.sh b/key.sh new file mode 100644 index 000000000000..0466603c1439 --- /dev/null +++ b/key.sh @@ -0,0 +1,4 @@ +#!/bin/bash + +java -jar /usr/share/java/key/KeY.jar "$@" + |