#!/bin/sh
set -e
if [ "$1" = "purge" ] && test -e /etc/GNUstep/Defaults/appearance.menu ; then
	rm /etc/GNUstep/Defaults/appearance.menu
fi
#DEBHELPER#