From e2331dadf6b4e6773e606b9e0b2daffda3113b6c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Frings-F=C3=BCrst?= Date: Wed, 28 Dec 2016 17:44:28 +0100 Subject: Remove debian/source/options --- debian/changelog | 3 ++- debian/source/options | 1 - 2 files changed, 2 insertions(+), 2 deletions(-) delete mode 100644 debian/source/options diff --git a/debian/changelog b/debian/changelog index 12bdf72..796f00a 100644 --- a/debian/changelog +++ b/debian/changelog @@ -2,7 +2,8 @@ xtrkcad (1:4.2.2-2) UNRELEASED; urgency=medium * New Maintainer (Closes: #849139): - debian/control: Add myself as maintainer. - * - debian/copyright: Add myself to debian/*. + - debian/copyright: Add myself to debian/*. + * Remove debian/source/options. -- Jörg Frings-Fürst Wed, 28 Dec 2016 17:27:47 +0100 diff --git a/debian/source/options b/debian/source/options deleted file mode 100644 index 8f04d6d..0000000 --- a/debian/source/options +++ /dev/null @@ -1 +0,0 @@ -compression = "bzip2" -- cgit v1.2.3