From f152f99599c7f2db16cdf38a5a5ab2d3fdba0791 Mon Sep 17 00:00:00 2001
From: Raphaël Hertzog <hertzog@debian.org>
Date: Tue, 22 Nov 2016 18:27:41 +0100
Subject: Drop debian/source/{local-options,options} as they are no longer
 needed.

---
 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 5bd47b78d..000000000
--- a/debian/source/options
+++ /dev/null
@@ -1 +0,0 @@
-compression = xz
-- 
cgit v1.2.3