Admin/Release/mirror-website
11 months ago wenzelm 2018-08-15 updated common hosts;
2013-12-05 wenzelm 2013-12-05 recover 175b43e0b9ce from lost update in cc126144f662;
2013-12-05 paulson 2013-12-05 updated mirror script for Cambridge
2013-02-12 wenzelm 2013-02-12 detect more hosts;
2012-07-05 wenzelm 2012-07-05 more explicit directory structure Admin/Release/; updated to Admin/components;