From 31d7e9ff470756d5ebbf70905391964884b044fc Mon Sep 17 00:00:00 2001 From: filip Date: Sun, 3 May 2015 15:10:44 +0200 Subject: simplification as there is no need to update both mirrors lists (ISO, doc) separately --- tools/update-mirrors-list.php | 20 ++++++++------------ 1 file changed, 8 insertions(+), 12 deletions(-) (limited to 'tools') diff --git a/tools/update-mirrors-list.php b/tools/update-mirrors-list.php index ee17f9b2c..0ee8601a2 100644 --- a/tools/update-mirrors-list.php +++ b/tools/update-mirrors-list.php @@ -1,21 +1,17 @@