diff options
| author | Jeremy Symon | 2017-05-07 00:06:55 +1200 |
|---|---|---|
| committer | Jeremy Symon | 2017-05-07 00:07:36 +1200 |
| commit | fa53b140fcff73c4b355a14c1c5e99a3050bfbac (patch) | |
| tree | f39a9dedf9be32647a06837cf5b54982d1428f9a /launcher | |
| parent | 590845430b891bfd06bfcf499b1351fb72a27b63 (diff) | |
| download | aur-key-logic.tar.gz | |
Updated to 2.6.2
Looks like the distribution has changed quite a bit: there no longer
appears to be an extension package, and the examples are not easily
separated from the main package.
Diffstat (limited to 'launcher')
| -rw-r--r-- | launcher | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/launcher b/launcher new file mode 100644 index 000000000000..525a7178b877 --- /dev/null +++ b/launcher @@ -0,0 +1,3 @@ +#!/usr/bin/env sh + +java -jar /usr/lib/key-logic/KeY.jar |