Sat, 19 Jan 2019 20:18:26 +0100 | wenzelm | more official AFP.groups; | changeset | files |
Sat, 19 Jan 2019 19:16:58 +0100 | wenzelm | auto-update for some experimental components; | changeset | files |
Sat, 19 Jan 2019 16:53:18 +0100 | wenzelm | clarified URLs: prefer sketis over bitbucket; | changeset | files |