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/gnome-pie.postrm | |
| parent | b25b87138ce3c4ec0ee0acfb20dee8d3926869a2 (diff) | |
Remove *.postrmdebian/0.5.6-1
Diffstat (limited to 'debian/gnome-pie.postrm')
| -rw-r--r-- | debian/gnome-pie.postrm | 14 |
1 files changed, 0 insertions, 14 deletions
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# |