diff options
author | Mark Hindley <mark@hindley.org.uk> | 2018-10-31 21:14:26 +0000 |
---|---|---|
committer | Mark Hindley <mark@hindley.org.uk> | 2018-11-01 11:23:09 +0000 |
commit | 66022b94290090163ccd1d9e840830f7c4d16611 (patch) | |
tree | 513b9724e97f902e4c82f8974f8ab379ad8566d6 /debian/not-installed | |
parent | 8baa30d03a053150f00c71a6a27c569eddbbdbdd (diff) |
Enable installation of manpages in -dev package.
Diffstat (limited to 'debian/not-installed')
0 files changed, 0 insertions, 0 deletions