chiark / gitweb /
ignore duplicated rules file names