chiark / gitweb /
Revert "debian/: Update for Debhelper 10."
[tripe] / debian / tripemon.install
1 debian/tmp/usr/bin/tripemon
2 debian/tmp/usr/share/man/man1/tripemon.1tripe