diff options
author | Remi Collet <remi@remirepo.net> | 2017-09-15 14:10:00 +0200 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2017-09-15 14:10:00 +0200 |
commit | 035de58bd015ddaf3c16e490b1281671eaccf696 (patch) | |
tree | 47b424d8a9505d99dd96b382ba56a36329ecc3b9 /check.php | |
parent | 10d8d0042c451666232b25468bc24ce18dec2fd2 (diff) |
re enable arminco.com
Diffstat (limited to 'check.php')
-rw-r--r-- | check.php | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -83,6 +83,7 @@ $mirrors = array( 'https://mirrors.uni-ruse.bg/remi/', 'https://remi.mirror.karneval.cz/', 'https://mirror.netsite.dk/remi/', + 'http://mirror.nsw.coloau.com.au/remi/', ); $deprecated = array( 'http://mirror.smartmedia.net.id/remi/', |