summaryrefslogtreecommitdiffstats
path: root/enterprise/7/php72
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2017-09-15 14:10:00 +0200
committerRemi Collet <remi@remirepo.net>2017-09-15 14:10:00 +0200
commit035de58bd015ddaf3c16e490b1281671eaccf696 (patch)
tree47b424d8a9505d99dd96b382ba56a36329ecc3b9 /enterprise/7/php72
parent10d8d0042c451666232b25468bc24ce18dec2fd2 (diff)
re enable arminco.com
Diffstat (limited to 'enterprise/7/php72')
-rw-r--r--enterprise/7/php72/mirror2
1 files changed, 1 insertions, 1 deletions
diff --git a/enterprise/7/php72/mirror b/enterprise/7/php72/mirror
index f8c29381..fff634bc 100644
--- a/enterprise/7/php72/mirror
+++ b/enterprise/7/php72/mirror
@@ -1,7 +1,7 @@
http://rpms.remirepo.net/enterprise/7/php72/$basearch/
http://fr2.rpmfind.net/linux/remi/enterprise/7/php72/$basearch/
http://mirrors.mediatemple.net/remi/enterprise/7/php72/$basearch/
-## http://remi.mirrors.arminco.com/enterprise/7/php72/$basearch/
+http://remi.mirrors.arminco.com/enterprise/7/php72/$basearch/
http://remi.schlundtech.de/enterprise/7/php72/$basearch/
## http://mirror5.layerjet.com/remi/enterprise/7/php72/$basearch/
http://mirror.awanti.com/remi/enterprise/7/php72/$basearch/