chiark / gitweb /
rules: delete all distro rules which do not use default rules