summaryrefslogtreecommitdiffstats
path: root/check.php
diff options
context:
space:
mode:
authorRemi Collet <fedora@famillecollet.com>2016-05-16 11:34:03 +0200
committerRemi Collet <fedora@famillecollet.com>2016-05-16 11:34:03 +0200
commitc3881dbaaed880e2710fe070a6262f963cd23d7c (patch)
treeed0f40cb1bf62d5c311131a8cc66c0e93f30b887 /check.php
parent71d10a1623569263b18c205ed647b89bb2de85ab (diff)
add http://remi.mirror.ate.info/
Diffstat (limited to 'check.php')
-rw-r--r--check.php1
1 files changed, 1 insertions, 0 deletions
diff --git a/check.php b/check.php
index 30bda210..5d80f53d 100644
--- a/check.php
+++ b/check.php
@@ -71,6 +71,7 @@ $mirrors = array(
'http://mirror.neolabs.kz/remi/',
'http://mirror.lablus.com/remi/',
'http://mirror.veriteknik.net.tr/remi/',
+ 'https://remi.mirror.ate.info/',
);
$deprecated = array(
'http://remi.kazukioishi.net/',