diff options
author | Jonas Smedegaard <dr@jones.dk> | 2015-05-28 16:54:06 +0200 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2015-05-28 16:54:06 +0200 |
commit | 92c041f2bfb542d88acaa207cd9ec8da831c4e98 (patch) | |
tree | 859eea7f92e918a71355f1fcbe0b9546dc1da401 /debian/copyright_hints | |
parent | dcd952035a283f1d4a3ad96f29577d64c92bddfb (diff) |
Update changelog and copyright hints.
Diffstat (limited to 'debian/copyright_hints')
-rw-r--r-- | debian/copyright_hints | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/copyright_hints b/debian/copyright_hints index 7f4d57460..cc62ec74c 100644 --- a/debian/copyright_hints +++ b/debian/copyright_hints @@ -58,6 +58,7 @@ Files: BUGS debian/patches/README debian/patches/series debian/source/format + debian/source/lintian-overrides debian/watch man/make-pandoc-man-pages.hs man/man1/pandoc.1.template |