chiark / gitweb /
remove "all_partitions" option