chiark / gitweb /
delete last distro specific rules