Changeset 1210 for dass-tools/etc/mirror-urls.conf

Timestamp:

Apr 12, 2016, 4:58:03 PM (9 years ago)

Author:

joergs

Message:

make mirror script more flexible.

Use configuration files and helper scripts.

File:

• dass-tools/etc/mirror-urls.conf (added)