Update ports-mgmt/ports-tools to version 1.4
authorDPorts Builder <nobody@home.ok>
Fri, 17 Nov 2017 03:05:13 +0000 (19:05 -0800)
committerDPorts Builder <nobody@home.ok>
Fri, 17 Nov 2017 03:05:13 +0000 (19:05 -0800)
commit12fc57c669720dfe2100b0f5d7cf494391b3321e
tree9a11c3be80bf7cd65fd910e1a3243ac04f67cb00
parentd4c5a07fbdd6dc64ab8d8dcc7b45f3c8707d64bb
Update ports-mgmt/ports-tools to version 1.4
ports-mgmt/ports-tools/Makefile
ports-mgmt/ports-tools/distinfo