chiark / gitweb /
Remove DISTRO_PORTING and catalog/ files that have slithered back in.