diff options
author | Julian Andres Klode <jak@debian.org> | 2016-09-01 00:53:40 +0200 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2016-09-01 00:53:40 +0200 |
commit | 265c3312bd1b329dc9b54c754da46621d9019c11 (patch) | |
tree | e1c740747f84f793ee2b6ab4ffaffbc9f76cd575 /vendor/debian/sources.list.in | |
parent | 28f0867d99398a23296ead313112402c51d4e876 (diff) | |
parent | 317bb39f3cd6626c74f25d7bdf2907f1b235f553 (diff) |
Merge tag '1.3_rc3' into ubuntu/master
apt Debian release 1.3~rc3
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 |