Simplify the mirror settings.
-------- diffstat follows --------
/trunk/scripts/functions | 7 3 4 0 ++---
/trunk/config/global/download.in | 60 14 46 0 +++++++++++-----------------------------------
2 files changed, 17 insertions(+), 50 deletions(-)
1 reporter_name="Yann E. MORIN"
2 reporter_url="http://ymorin.is-a-geek.org/dokuwiki/projects/crosstool"