mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-01 01:17:02 +00:00
36018ff3e9
Update editors/jedit-devel to 4.3.p3, which includes many bugfixes and feature updates. PR: ports/91274 Submitted by: Linh Pham <question+fbsdports@closedsrc.org> |
||
---|---|---|
.. | ||
files | ||
distinfo | ||
Makefile | ||
pkg-descr |