diff options
| author | Paolo De Donato | 2023-11-23 14:14:56 +0100 |
|---|---|---|
| committer | Paolo De Donato | 2023-11-23 14:14:56 +0100 |
| commit | 5964a082e19feef585563377036df3edd357d887 (patch) | |
| tree | 2e6678eefef149b8a92aee4fe8be9a476c90dc48 /jabref.sh | |
| parent | be23ae1d9855edfaa79da8882d36c860d3a01946 (diff) | |
| download | aur-5964a082e19feef585563377036df3edd357d887.tar.gz | |
dir upgrade
Diffstat (limited to 'jabref.sh')
| -rw-r--r-- | jabref.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jabref.sh b/jabref.sh index e1f7f7c92d54..15ea19fd0cac 100644 --- a/jabref.sh +++ b/jabref.sh @@ -1,2 +1,2 @@ #!/bin/sh -/opt/jabref/bin/JabRef "$@" +/opt/jabref-git/bin/JabRef "$@" |