chiark / gitweb /
packaging: install more stuff
[hippotat.git] / debian / hippotat.install
2017-04-08 Ian Jacksonpackaging: install more stuff