diff options
author | Remi Collet <remi@remirepo.net> | 2020-07-08 10:56:23 +0200 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2020-07-08 10:56:23 +0200 |
commit | a0c548d2ccb9789e8c6d7f589b5899570d856314 (patch) | |
tree | 6c3884787e360e40c3b8c2fecf32a65ed4564566 /enterprise/7/php72 | |
parent | e7ed94f68416a6bc77145f14193cd3451c11818c (diff) |
promote http://mirror.digitalnova.at/remi/ as official
Diffstat (limited to 'enterprise/7/php72')
-rw-r--r-- | enterprise/7/php72/mirror | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/enterprise/7/php72/mirror b/enterprise/7/php72/mirror index 23bbbf07..ed8b6e47 100644 --- a/enterprise/7/php72/mirror +++ b/enterprise/7/php72/mirror @@ -54,3 +54,4 @@ https://mirror.telkomuniversity.ac.id/remi/enterprise/7/php72/$basearch/ https://mirrors.chroot.ro/remi/enterprise/7/php72/$basearch/ https://mirrors.ptisp.pt/remi/enterprise/7/php72/$basearch/ https://mirrors.upr.edu/remi/enterprise/7/php72/$basearch/ +http://mirror.digitalnova.at/remi/enterprise/7/php72/$basearch/ |