chiark / gitweb /
packaging: remove evidently-uneeded file
[hippotat] / debian / compat
2017-04-08 Ian Jacksonwip packaging