Fix ports.mirrors.debian.org v. ftp.ports.debian.org naming mess
authorPeter Palfrader <peter@palfrader.org>
Fri, 29 Jul 2016 23:18:54 +0000 (23:18 +0000)
committerPeter Palfrader <peter@palfrader.org>
Fri, 29 Jul 2016 23:18:54 +0000 (23:18 +0000)
commita12917959f1de3525ee686542406f12f3ff06e0c
tree8521fad8df6fae1aaf0ef2d604aed530dc5a1144
parentc54d3c0937444eb08707008c85d9e8734448c135
Fix ports.mirrors.debian.org v. ftp.ports.debian.org naming mess
modules/roles/manifests/ports_mirror.pp