Ian Wienand 9eb71a1fe0 Switch debian to deb.debian.org ... Per [1] this is the "official" CDN mirror, which I think is the most appropriate for the default. I think this addresses the concerns httpredir service, which I don't think ever quite got out of beta. [1] https://wiki.debian.org/DebianGeoMirror Change-Id: I55f2a00b8bbb0f0a20d3be229e4c2c32a7b69057		2017-05-19 20:10:40 +00:00
..
10-debian-minimal.bash	Switch debian to deb.debian.org	2017-05-19 20:10:40 +00:00