chiark / gitweb /
remove left-over from ignore_remove and all_partitions