chiark / gitweb /
Fix makebuildserver after rename, tidy gitignores