From a337c955da377b2b6a274dd6ee1c275cdcacb1c3 Mon Sep 17 00:00:00 2001
From: Julian Andres Klode <julian.klode@canonical.com>
Date: Tue, 13 Nov 2018 10:30:36 +0100
Subject: Drop debian/source/options, not needed anymore

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

diff --git a/debian/source/options b/debian/source/options
deleted file mode 100644
index d14f4af37..000000000
--- a/debian/source/options
+++ /dev/null
@@ -1,2 +0,0 @@
-# Use xz compression by default, we save disk space
-compression = "xz"
-- 
cgit v1.2.3