diff options
| author | Julian Andres Klode <jak@debian.org> | 2016-08-29 15:09:05 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2016-08-29 15:09:05 +0200 |
| commit | 30749ef1edb33a91401bd7e4da7a4474e7bc2f6a (patch) | |
| tree | 5c0ec756a065ca6c9bc93dd9bd970798e70d1bd7 /vendor/debian/sources.list.in | |
| parent | f06a44591db7f78898bd4e8818ceab74cd98e1ac (diff) | |
Switch documentation from httpredir.d.o to deb.d.o
The CDN service deb.d.o is more reliable than the http
redirector, so switch to it for our examples.
Diffstat (limited to 'vendor/debian/sources.list.in')
| -rw-r--r-- | vendor/debian/sources.list.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/vendor/debian/sources.list.in b/vendor/debian/sources.list.in index 0fae88e5e..73a2ec9c4 100644 --- a/vendor/debian/sources.list.in +++ b/vendor/debian/sources.list.in @@ -3,5 +3,5 @@ &sourceslist-list-format; # Uncomment if you want the apt-get source function to work -#deb-src http://httpredir.debian.org/debian &debian-stable-codename; main contrib non-free +#deb-src http://deb.debian.org/debian &debian-stable-codename; main contrib non-free #deb-src http://security.debian.org &debian-stable-codename;/updates main contrib non-free |