ports/71182: Port Update - editors/jedit -- updating port to 4.2 final

Volker Stolz vs at FreeBSD.org
Tue Aug 31 08:11:35 UTC 2004


Synopsis: Port Update - editors/jedit -- updating port to 4.2 final

State-Changed-From-To: open->feedback
State-Changed-By: vs
State-Changed-When: Tue Aug 31 08:08:53 GMT 2004
State-Changed-Why: 
You can't repocopy over existing stuff. If the old jedit would
be worth keeping around, we could move it aside. But I doubt
that's desired. Please submit an update relative to editors/jedit.

http://www.freebsd.org/cgi/query-pr.cgi?pr=71182



More information about the freebsd-ports-bugs mailing list