From adf4504fce4ed36a534dd22d3bfe2e6638ddd66a Mon Sep 17 00:00:00 2001 From: Romain d'Alverny Date: Mon, 29 Apr 2013 22:59:21 +0000 Subject: manual script to force update list of mirrors --- tools/update-mirrors-list.php | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 tools/update-mirrors-list.php (limited to 'tools') diff --git a/tools/update-mirrors-list.php b/tools/update-mirrors-list.php new file mode 100644 index 000000000..d9be85226 --- /dev/null +++ b/tools/update-mirrors-list.php @@ -0,0 +1,8 @@ +