Update editors/jupp to version 3.1.38
authorDPorts Builder <nobody@home.ok>
Wed, 23 Jan 2019 13:38:42 +0000 (05:38 -0800)
committerDPorts Builder <nobody@home.ok>
Wed, 23 Jan 2019 13:38:42 +0000 (05:38 -0800)
commit68cf462d7d34f562341e5824834d8d688c33e80e
tree113dd28e692fc0b1b1ab5380d1a38ef1dcacd0e6
parent6eb7ba63263a909b929d5017f5c889ef30deafcc
Update editors/jupp to version 3.1.38
editors/jupp/Makefile
editors/jupp/distinfo