| Sun, 12 Dec 2021 20:37:38 +0100 | wenzelm | proper path; | file | diff | annotate |
| Wed, 15 Aug 2018 16:09:44 +0200 | wenzelm | updated common hosts; | file | diff | annotate |
| Thu, 05 Dec 2013 18:28:06 +0100 | wenzelm | recover 175b43e0b9ce from lost update in cc126144f662; | file | diff | annotate |
| Thu, 05 Dec 2013 17:09:13 +0000 | paulson | updated mirror script for Cambridge | file | diff | annotate |
| Tue, 12 Feb 2013 17:39:45 +0100 | wenzelm | detect more hosts; | file | diff | annotate |
| Thu, 05 Jul 2012 14:13:14 +0200 | wenzelm | more explicit directory structure Admin/Release/; | file | diff | annotate | base |