debian/registry-tools.install


1
2
3
4
5
6
7
8

usr/bin/regdiff
usr/bin/regpatch
usr/bin/regshell
usr/bin/regtree
usr/share/man/man1/regdiff.1
usr/share/man/man1/regpatch.1
usr/share/man/man1/regshell.1
usr/share/man/man1/regtree.1