diff options
author | Remi Collet <remi@remirepo.net> | 2017-09-11 08:17:03 +0200 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2017-09-11 08:17:03 +0200 |
commit | cabe4aa4dab3d77ae42d6e4037a79913efd8f295 (patch) | |
tree | f016d41c0d743e25a67f8a4710ef68dfac72d7d7 /enterprise/7/php71 | |
parent | 6b427a19edfef510bcea40309cee0c3e708cc254 (diff) |
temporarily disabled arminco (out of sync)
Diffstat (limited to 'enterprise/7/php71')
-rw-r--r-- | enterprise/7/php71/mirror | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/enterprise/7/php71/mirror b/enterprise/7/php71/mirror index 4306e636..d1fae95a 100644 --- a/enterprise/7/php71/mirror +++ b/enterprise/7/php71/mirror @@ -1,7 +1,7 @@ http://rpms.remirepo.net/enterprise/7/php71/$basearch/ http://fr2.rpmfind.net/linux/remi/enterprise/7/php71/$basearch/ http://mirrors.mediatemple.net/remi/enterprise/7/php71/$basearch/ -http://remi.mirrors.arminco.com/enterprise/7/php71/$basearch/ +## http://remi.mirrors.arminco.com/enterprise/7/php71/$basearch/ http://remi.schlundtech.de/enterprise/7/php71/$basearch/ ## http://mirror5.layerjet.com/remi/enterprise/7/php71/$basearch/ http://mirror.awanti.com/remi/enterprise/7/php71/$basearch/ |