?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
debian: Update with version 0.95.8-2 packaging.
[wmaker-crm.git] / debian / wmaker-common.postrm
blob49ecaec7fb999b62c8b5a93e6ed07c29f96f6abb
1 #!/bin/sh
2 set -e
3 if [ "$1" = "purge" ] && test -e /etc/GNUstep/Defaults/appearance.menu ; then
4 rm /etc/GNUstep/Defaults/appearance.menu
5 fi
6 #DEBHELPER#
The Window Maker window manager