diff options
author | Remi Collet <remi@remirepo.net> | 2020-10-29 08:07:10 +0100 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2020-10-29 08:07:10 +0100 |
commit | 75ed83866228feee4476ac7bb7f85da1f8494eb1 (patch) | |
tree | 9fe3aea5ed7a797556b696f82d9e97431aa45e0e /check.php | |
parent | c112ae4e34df8a198969bd8f4e0331f7ebf155ab (diff) |
add https://mirror.dogado.de/remi/
Diffstat (limited to 'check.php')
-rwxr-xr-x | check.php | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -112,6 +112,7 @@ $mirrors = [ 'http://mirror.digitalnova.at/remi/', 'http://mirror.yer.az/remi/', 'https://mirror.dk.team.blue/remi/', + 'https://mirror.dogado.de/remi/', ]; $deprecated = [ 'http://nl.mirror.babylon.network/remi/', |