Update editors/gedit-plugins to version 42.1
authorDPorts Builder <nobody@home.ok>
Wed, 27 Jul 2022 04:54:39 +0000 (21:54 -0700)
committerDPorts Builder <nobody@home.ok>
Wed, 27 Jul 2022 04:54:39 +0000 (21:54 -0700)
commitc0623252dc40601064575ee7c2da7a29ecf4eb35
treee7acc45445dc968c283ba7367165a0f5fa58fd9d
parent69dd1a51c1cdb53d1a4e2eaa379d75312aaf01fe
Update editors/gedit-plugins to version 42.1
editors/gedit-plugins/Makefile
editors/gedit-plugins/distinfo