From 89cba921817842655816ed1b1a3aa98414a38427 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Frings-F=C3=BCrst?= Date: Mon, 19 Jan 2015 12:29:27 +0100 Subject: Remove debian/source/options --- debian/source/options | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 debian/source/options (limited to 'debian/source/options') 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