diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2015-01-17 14:06:32 +0100 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2015-01-17 14:06:32 +0100 |
commit | 751a72bc2d2f54e27206a32cd4b7b17e9837228e (patch) | |
tree | 913c2c516c5d29a7fc44a66be8a8f5d082374694 /debian | |
parent | b25b87138ce3c4ec0ee0acfb20dee8d3926869a2 (diff) |
Remove *.postrmdebian/0.5.6-1
Diffstat (limited to 'debian')
-rw-r--r-- | debian/changelog | 4 | ||||
-rw-r--r-- | debian/gnome-pie.postrm | 14 |
2 files changed, 1 insertions, 17 deletions
diff --git a/debian/changelog b/debian/changelog index c16fcd5..e6c594f 100644 --- a/debian/changelog +++ b/debian/changelog @@ -5,13 +5,11 @@ gnome-pie (0.5.6-1) unstable; urgency=medium - Bump Standards-Version to 3.9.6 (no changes required). - Change Vcs-Browser to cgit. * Add year 2015 to debian/copyright. - * New debian/gnome-pie.postrm: - - 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> Sat, 17 Jan 2015 10:18:50 +0100 + -- Jörg Frings-Fürst <debian@jff-webhosting.net> Sat, 17 Jan 2015 14:05:06 +0100 gnome-pie (0.5.5-1) unstable; urgency=medium diff --git a/debian/gnome-pie.postrm b/debian/gnome-pie.postrm deleted file mode 100644 index 3399382..0000000 --- a/debian/gnome-pie.postrm +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/sh - -set -e - -if [ "$1" = purge ]; then -# -# purge desktop file to remove -# left files after package purging. -# - rm -f /usr/share/applications/gnome-pie.desktop - -fi - -#DEBHELPER# |