summaryrefslogtreecommitdiff
path: root/debian/copyright_hints
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2010-10-19 14:10:32 +0200
committerJonas Smedegaard <dr@jones.dk>2010-10-19 14:10:32 +0200
commit128d7728e38a644f9b8a0a82343acb8d3e540cb1 (patch)
treecec4f4a44bd7d9603753081d238ae4a9c497f0e7 /debian/copyright_hints
parent998b0a29a0a5d89b17b13a71346c5e261110059e (diff)
Update changelog, control file and copyright hints.
Diffstat (limited to 'debian/copyright_hints')
-rw-r--r--debian/copyright_hints1
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/copyright_hints b/debian/copyright_hints
index e639d6711..f729202bd 100644
--- a/debian/copyright_hints
+++ b/debian/copyright_hints
@@ -18,6 +18,7 @@ Files: ./BUGS,
./debian/pandoc.links,
./debian/rules,
./debian/source/format,
+ ./debian/source/local-options,
./debian/watch,
./epub.css,
./man/man1/markdown2pdf.1.md,