diff options
author | John Harding | 2007-02-22 14:00:00 -0800 |
---|---|---|
committer | John Harding | 2007-02-22 14:00:00 -0800 |
commit | 24fa95b29c5566e675d8fb1755255f6920f03002 (patch) | |
tree | da7f57355f70d8414d487aaca61629c9c6c620fa | |
parent | 61912d4d7047cc66b3496e4f5f7e1f690b02b810 (diff) |
Revert "Added sig to keyring" oops, wasn't finished yet
This reverts commit 61912d4d7047cc66b3496e4f5f7e1f690b02b810.
-rwxr-xr-x | editors/jedit/DETAILS | 5 | ||||
-rwxr-xr-x | editors/jedit/PRE_BUILD | 2 | ||||
-rw-r--r-- | gurus.gpg | bin | 35843 -> 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 Binary files differ |