Changeset 1210 for dass-tools/etc

Timestamp:
Apr 12, 2016, 4:58:03 PM (8 years ago)
Author:
joergs
Message:

make mirror script more flexible.

Use configuration files and helper scripts.

Location:
dass-tools/etc
Files:
2 added

Note: See TracChangeset for help on using the changeset viewer.