From cb5557167749c96c8d5b501e677aaa3558b94d6e Mon Sep 17 00:00:00 2001
From: Marco d'Itri <md@linux.it>
Date: Sun, 5 Nov 2017 11:59:39 +0100
Subject: [PATCH] delete debian/source/options

xz has been the default for a while.
---
 debian/source/options | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 debian/source/options

diff --git a/debian/source/options b/debian/source/options
deleted file mode 100644
index 161b7e0..0000000
--- a/debian/source/options
+++ /dev/null
@@ -1 +0,0 @@
-compression=xz