From ae642bd2fa4b1cce8a28b90f7d476d762dba3049 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rg=20Frings-F=C3=BCrst?= <debian@jff-webhosting.net>
Date: Wed, 19 Aug 2015 11:21:33 +0200
Subject: Remove useless debian/source/options

---
 debian/source/options | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 debian/source/options

(limited to 'debian/source')

diff --git a/debian/source/options b/debian/source/options
deleted file mode 100644
index 22a4de9..0000000
--- a/debian/source/options
+++ /dev/null
@@ -1,2 +0,0 @@
-compression = xz
-compression-level = 9
-- 
cgit v1.2.3