summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJörg Frings-Fürst <debian@jff-webhosting.net>2015-01-15 21:31:12 +0100
committerJörg Frings-Fürst <debian@jff-webhosting.net>2015-01-15 21:31:12 +0100
commit11c00e709a773333e45c54a0e53264a8e0998c20 (patch)
tree70d6a116f5a21835bd51e447e3689879c7c4042f
parent1101fd166c988596102808707660f385669714ed (diff)
Remove useless debian/source/options
-rw-r--r--debian/changelog5
-rw-r--r--debian/source/options2
2 files changed, 3 insertions, 4 deletions
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 <debian@jff-webhosting.net> Thu, 15 Jan 2015 18:50:10 +0100
+ -- Jörg Frings-Fürst <debian@jff-webhosting.net> 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