Update ports-mgmt/ports-tools to version 1.3
authorDPorts Builder <nobody@home.ok>
Wed, 5 Jul 2017 09:50:33 +0000 (02:50 -0700)
committerDPorts Builder <nobody@home.ok>
Wed, 5 Jul 2017 09:50:33 +0000 (02:50 -0700)
commit4e8007061c99f1918694dbc7b1d060699dd75d79
tree4746d5467389b9cc6f9ef858150b8c3b055c391a
parent739f036573240417cb2140e8dc9da9f3ef810807
Update ports-mgmt/ports-tools to version 1.3
ports-mgmt/ports-tools/Makefile
ports-mgmt/ports-tools/distinfo