From 11c00e709a773333e45c54a0e53264a8e0998c20 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Frings-F=C3=BCrst?= Date: Thu, 15 Jan 2015 21:31:12 +0100 Subject: Remove useless debian/source/options --- debian/changelog | 5 +++-- debian/source/options | 2 -- 2 files changed, 3 insertions(+), 4 deletions(-) delete mode 100644 debian/source/options diff --git a/debian/changelog b/debian/changelog index 6ddf243..c5baa1f 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,4 +1,4 @@ -gnome-pie (0.5.6-1) UNRELEASED; urgency=medium +gnome-pie (0.5.6-1) unstable; urgency=medium * New upstream release. * debian/control: @@ -9,8 +9,9 @@ gnome-pie (0.5.6-1) UNRELEASED; urgency=medium - Delete leftover files. * New debian/patches/02-desktop_file.patch: - Add missing keyword entry. + * Remove useless debian/source/options. - -- Jörg Frings-Fürst Thu, 15 Jan 2015 18:50:10 +0100 + -- Jörg Frings-Fürst Thu, 15 Jan 2015 20:53:19 +0100 gnome-pie (0.5.5-1) unstable; urgency=medium 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