From f152f99599c7f2db16cdf38a5a5ab2d3fdba0791 Mon Sep 17 00:00:00 2001 From: Raphaël Hertzog Date: Tue, 22 Nov 2016 18:27:41 +0100 Subject: Drop debian/source/{local-options,options} as they are no longer needed. --- debian/source/local-options | 1 - debian/source/options | 1 - 2 files changed, 2 deletions(-) delete mode 100644 debian/source/local-options delete mode 100644 debian/source/options (limited to 'debian/source') diff --git a/debian/source/local-options b/debian/source/local-options deleted file mode 100644 index 2ee6f0fa1..000000000 --- a/debian/source/local-options +++ /dev/null @@ -1 +0,0 @@ -abort-on-upstream-changes 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