Update editors/jedit to version 5.4.0,1
authorDPorts Builder <nobody@home.ok>
Tue, 4 Jul 2017 16:43:38 +0000 (09:43 -0700)
committerDPorts Builder <nobody@home.ok>
Tue, 4 Jul 2017 16:43:38 +0000 (09:43 -0700)
commit610ecd7db8a7785c2b601350d3fd548ecb6007bb
tree154ddb61f2abae0b135f8ff685da62ffb9af90b6
parent6b84ee0d99d6375b38dcc110cb1d198fda7916a5
Update editors/jedit to version 5.4.0,1
editors/jedit/Makefile
editors/jedit/distinfo
editors/jedit/pkg-plist