chiark / gitweb /
rules_generator: remove "installation" function