Remove debian/source/options file, let lintian get easy.
authorAndriy Grytsenko <andrej@rep.kiev.ua>
Mon, 17 Dec 2018 00:22:53 +0000 (02:22 +0200)
committerAndriy Grytsenko <andrej@rep.kiev.ua>
Mon, 17 Dec 2018 00:22:53 +0000 (02:22 +0200)
debian/source/options [deleted file]

diff --git a/debian/source/options b/debian/source/options
deleted file mode 100644 (file)
index 74a452b..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-compression = "xz"
-compression-level = 9