From ea95df791e3cb320cd0b2a3f0f3c64e3617b4c34 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Frings-F=C3=BCrst?= Date: Wed, 8 Jul 2015 16:53:41 +0200 Subject: work on hardening & make fit for gcc-5 --- debian/source/options | 1 - 1 file changed, 1 deletion(-) 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 b7bc1f2..0000000 --- a/debian/source/options +++ /dev/null @@ -1 +0,0 @@ -compression = "xz" -- cgit v1.2.3