diff options
Diffstat (limited to 'libre/jedit/jeditbg.sh')
| -rw-r--r-- | libre/jedit/jeditbg.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/libre/jedit/jeditbg.sh b/libre/jedit/jeditbg.sh deleted file mode 100644 index f4d08ed27..000000000 --- a/libre/jedit/jeditbg.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/bash -# Runs jEdit in background-mode, ready to reuse the running instance -jedit -background -reuseview "$@" |