Update editors/gedit-plugins to version 3.38.1_1
authorDPorts Builder <nobody@home.ok>
Tue, 19 Jan 2021 08:43:16 +0000 (00:43 -0800)
committerDPorts Builder <nobody@home.ok>
Tue, 19 Jan 2021 08:43:16 +0000 (00:43 -0800)
commit823422c350d7fb80767fd62115f05e1188ebc63e
tree24a3c6ec712af28a4809e97a66699786f1743534
parentb9b693b2ef315ce0706a3dbd51396e6220023a9e
Update editors/gedit-plugins to version 3.38.1_1
editors/gedit-plugins/Makefile
editors/gedit-plugins/distinfo