| Wed, 15 Aug 2012 11:04:55 +0200 | blanchet | removed dead code | changeset | files |
| Wed, 15 Aug 2012 01:17:26 +0200 | webertj | merged | changeset | files |
| Wed, 15 Aug 2012 01:17:18 +0200 | webertj | Added various options, notably -c to download components listed in Admin/components. Also, curl instead of wget. | changeset | files |
| Tue, 14 Aug 2012 21:58:00 +0200 | wenzelm | ignore some administrative files on newer Mercurial versions as well; | changeset | files |
| Tue, 14 Aug 2012 20:50:50 +0200 | wenzelm | some support for persistent user preferences; | changeset | files |
| Tue, 14 Aug 2012 16:18:15 +0200 | wenzelm | merged | changeset | files |