diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2017-03-23 18:42:32 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2017-03-23 18:42:32 -0500 |
| commit | 6c43a7f83723baf96cc20c220ae3df43462847fa (patch) | |
| tree | 421a2733a165dca36a99ec11972673a6312f2c31 /libre/jedit/jedit.sh | |
| parent | 2a9bf356b40690bfd9614c4e7b329ae366ed5c30 (diff) | |
| download | abslibre-6c43a7f83723baf96cc20c220ae3df43462847fa.tar.gz abslibre-6c43a7f83723baf96cc20c220ae3df43462847fa.tar.bz2 abslibre-6c43a7f83723baf96cc20c220ae3df43462847fa.zip | |
jedit-5.4.0-1.parabola1: updating version
Diffstat (limited to 'libre/jedit/jedit.sh')
| -rw-r--r-- | libre/jedit/jedit.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libre/jedit/jedit.sh b/libre/jedit/jedit.sh index 84f07bdae..df16cfa6a 100644 --- a/libre/jedit/jedit.sh +++ b/libre/jedit/jedit.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # Runs jEdit - Programmer's Text Editor |