diff options
| author | Remi Collet <remi@remirepo.net> | 2023-07-20 08:43:44 +0200 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2023-07-20 08:43:44 +0200 |
| commit | 14d0932edb779af994aa730262b34c5b26687f8e (patch) | |
| tree | 846fc67da5c0dd4c4e6413cb85a6662168fd8a1e /enterprise/7/php72/mirror | |
| parent | 9ab3850179d5d92d1d387e707748b818335edf8f (diff) | |
remove http://remi.mirrors.arminco.com/
Diffstat (limited to 'enterprise/7/php72/mirror')
| -rw-r--r-- | enterprise/7/php72/mirror | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/enterprise/7/php72/mirror b/enterprise/7/php72/mirror index 00b77d7f..1cd24bab 100644 --- a/enterprise/7/php72/mirror +++ b/enterprise/7/php72/mirror @@ -1,6 +1,5 @@ http://rpms.remirepo.net/enterprise/7/php72/$basearch/ http://fr2.rpmfind.net/linux/remi/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/ |