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 /mirror | |
parent | 9ab3850179d5d92d1d387e707748b818335edf8f (diff) |
remove http://remi.mirrors.arminco.com/
Diffstat (limited to 'mirror')
-rwxr-xr-x | mirror | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -93,7 +93,7 @@ https) ;; *) echo -e "\nMirror list:\n" - cat enterprise/7/remi/mirror + cat enterprise/9/remi/x86_64/mirror ;; esac |