Update editors/pluma to version 1.12.2
authorDPorts Builder <nobody@home.ok>
Fri, 4 Mar 2016 15:52:25 +0000 (07:52 -0800)
committerDPorts Builder <nobody@home.ok>
Fri, 4 Mar 2016 15:52:25 +0000 (07:52 -0800)
commit773cffd41177dccc186dfc1a462dc2283357b5da
tree580efe9125e7316a2b72bea41458d1086caeac53
parent7e7d07d778b51850121c74ee69f8f381e56d065f
Update editors/pluma to version 1.12.2
editors/pluma/Makefile
editors/pluma/distinfo