debian/wmaker-common.postrm

#!/bin/sh
set -e
if [ "$1" = "purge" ] && test -e /etc/GNUstep/Defaults/appearance.menu ; then
	rm /etc/GNUstep/Defaults/appearance.menu
fi
#DEBHELPER#
Debian full patch migration 2011-10-02 01:50:07 +02:00			`#!/bin/sh`
			`set -e`
debian: Update with version 0.95.8-2 packaging. 2017-08-14 23:17:28 -04:00			`if [ "$1" = "purge" ] && test -e /etc/GNUstep/Defaults/appearance.menu ; then`
			`rm /etc/GNUstep/Defaults/appearance.menu`
			`fi`
Debian full patch migration 2011-10-02 01:50:07 +02:00			`#DEBHELPER#`