From fee6f2d844336fa9d0cf339f8b7f9b59a939c454 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Frings-F=C3=BCrst?= Date: Wed, 9 Mar 2016 22:57:59 +0100 Subject: remove d/source/options --- debian/changelog | 1 + debian/source/options | 2 -- 2 files changed, 1 insertion(+), 2 deletions(-) delete mode 100644 debian/source/options diff --git a/debian/changelog b/debian/changelog index 1159d94..7ba8b43 100644 --- a/debian/changelog +++ b/debian/changelog @@ -12,6 +12,7 @@ gcstar (1.7.1-1) UNRELEASED; urgency=medium - Add year 2016. - Change "GPL-2 with exceptions" to "GPL-2 with RedHat exception" to prevent lintian warning. + * Remove outdated debian/source/options. -- Jörg Frings-Fürst Wed, 29 Apr 2015 09:29:49 +0200 diff --git a/debian/source/options b/debian/source/options deleted file mode 100644 index 22a4de9..0000000 --- a/debian/source/options +++ /dev/null @@ -1,2 +0,0 @@ -compression = xz -compression-level = 9 -- cgit v1.2.3