diff options
Diffstat (limited to 'check.php')
| -rw-r--r-- | check.php | 1 | 
1 files changed, 1 insertions, 0 deletions
@@ -80,6 +80,7 @@ $mirrors = array(  	'http://repo1.ash.innoscale.net/remi/',  	'http://mirror.bebout.net/remi/',  	'https://mirror.oxilion.nl/remi/', +	'https://remi.mirror.wearetriple.com/',  );  $deprecated = array(  	'http://iut-info.univ-reims.fr/remirpms/',  | 
