summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJohn Harding2007-02-22 14:00:00 -0800
committerJohn Harding2007-02-22 14:00:00 -0800
commit24fa95b29c5566e675d8fb1755255f6920f03002 (patch)
treeda7f57355f70d8414d487aaca61629c9c6c620fa
parent61912d4d7047cc66b3496e4f5f7e1f690b02b810 (diff)
Revert "Added sig to keyring" oops, wasn't finished yet
This reverts commit 61912d4d7047cc66b3496e4f5f7e1f690b02b810.
-rwxr-xr-xeditors/jedit/DETAILS5
-rwxr-xr-xeditors/jedit/PRE_BUILD2
-rw-r--r--gurus.gpgbin35843 -> 34659 bytes
3 files changed, 3 insertions, 4 deletions
diff --git a/editors/jedit/DETAILS b/editors/jedit/DETAILS
index 5b11aaea04..c4f88bdb6a 100755
--- a/editors/jedit/DETAILS
+++ b/editors/jedit/DETAILS
@@ -1,12 +1,11 @@
SPELL=jedit
- VERSION=4.3pre9
+ VERSION=4.3pre8
SOURCE=jedit${VERSION}source.tar.bz2
SOURCE_DIRECTORY=$BUILD_DIRECTORY/jEdit
SOURCE_URL[0]=${SOURCEFORGE_URL}/jedit/$SOURCE
WEB_SITE=http://www.jedit.org
ENTERED=20040608
- SOURCE_HASH=sha512:db7937fb63b715d83da52e357d26cc3719e733c6cf98d9551a562a683e997fa8499f1790e8031287167626f32dde61d0eefdf4263c89cc0a2f660c1032aecdfe
-# SOURCE_GPG=gurus.gpg:${SOURCE}.sig
+ SOURCE_GPG=gurus.gpg:${SOURCE}.sig
LICENSE[0]=GPL
KEYWORDS="editors"
SHORT="jEdit is a mature and well-designed programmer's text editor that has been in development for over 5 years."
diff --git a/editors/jedit/PRE_BUILD b/editors/jedit/PRE_BUILD
index aed56b6598..43d5ede668 100755
--- a/editors/jedit/PRE_BUILD
+++ b/editors/jedit/PRE_BUILD
@@ -1,3 +1,3 @@
default_pre_build &&
patch -p1 -d ${SOURCE_DIRECTORY} < \
- ${SCRIPT_DIRECTORY}/build.properties_4.3pre9.patch
+ ${SCRIPT_DIRECTORY}/build.properties_4.3pre6.patch
diff --git a/gurus.gpg b/gurus.gpg
index 676001aa23..eef94ac3c7 100644
--- a/gurus.gpg
+++ b/gurus.gpg
Binary files differ