Update ports-mgmt/ports-tools to version 1.6
authorDPorts Builder <nobody@home.ok>
Thu, 28 Dec 2017 03:14:11 +0000 (19:14 -0800)
committerDPorts Builder <nobody@home.ok>
Thu, 28 Dec 2017 03:14:11 +0000 (19:14 -0800)
commit5aaeb588eafa599a0e66e08c96a98ec9d7211a32
treec7b99b8b776365a0ff9e4c82157c208bd61bdf1d
parent448b5fbb43652741b98d496d87988c30a6874c1c
Update ports-mgmt/ports-tools to version 1.6
ports-mgmt/ports-tools/Makefile
ports-mgmt/ports-tools/distinfo