58913 – Jedit-4.2_pre15 released

Bug 58913 - Jedit-4.2_pre15 released

Summary: Jedit-4.2_pre15 released

Status:	RESOLVED FIXED

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	New packages (show other bugs)
Hardware:	x86 Linux

Importance:	High enhancement (vote)
Assignee:	Java team

URL:	http://community.jedit.org/?q=node/vi...
Whiteboard:
Keywords:

Depends on:
Blocks:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Tro 2004-07-30 10:18:11 UTC

Jedit-4.2_pre15 released on July 17, 2004.

http://community.jedit.org/?q=node/view/1486#comment

Reproducible: Always
Steps to Reproduce:
1.
2.
3.

Comment 1 Alastair Tse (RETIRED) gentoo-dev

2004-07-30 10:47:00 UTC

jed != jedit :)

Comment 2 Thomas Matthijs (RETIRED) gentoo-dev

2004-07-31 11:38:59 UTC

Thanks, bumped