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