diff options
| author | Carsten Csiky (csicar) | 2018-12-05 17:05:17 +0100 |
|---|---|---|
| committer | Carsten Csiky (csicar) | 2018-12-05 17:06:23 +0100 |
| commit | ebf299d009f866ee9cb03c9c6f1b9b82fe922ac0 (patch) | |
| tree | 9f5b42adf0bd3293b737287da0019612a8cd14c8 /openjml.sh | |
| download | aur-ebf299d009f866ee9cb03c9c6f1b9b82fe922ac0.tar.gz | |
initial
Diffstat (limited to 'openjml.sh')
| -rwxr-xr-x | openjml.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/openjml.sh b/openjml.sh new file mode 100755 index 000000000000..f5799a0de2ac --- /dev/null +++ b/openjml.sh @@ -0,0 +1,3 @@ +#!/bin/bash + +java -jar /usr/share/java/openjml/openjml.jar "$@" |