Update editors/jedit to version 5.6.0,1
authorDPorts Builder <nobody@home.ok>
Sun, 15 Nov 2020 16:26:04 +0000 (08:26 -0800)
committerDPorts Builder <nobody@home.ok>
Sun, 15 Nov 2020 16:26:04 +0000 (08:26 -0800)
commitf0e3b4dd73700aebccd800693643ec21fa8075d5
treeffc5fe52e56c4a8842ade88ac3ef9974419b27a7
parent485b04ed4b846ff26518934f6122d4507645cb5b
Update editors/jedit to version 5.6.0,1
editors/jedit/Makefile
editors/jedit/distinfo
editors/jedit/files/jedit.sh.in
editors/jedit/pkg-plist