diff options
Diffstat (limited to 'debian/zsh-common.prerm')
-rw-r--r-- | debian/zsh-common.prerm | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/debian/zsh-common.prerm b/debian/zsh-common.prerm deleted file mode 100644 index ffb0622e1..000000000 --- a/debian/zsh-common.prerm +++ /dev/null @@ -1,24 +0,0 @@ -#!/bin/sh - -set -e - -case "$1" in - (remove|deconfigure) - rmdir /usr/local/share/zsh/site-functions || true - rmdir /usr/local/share/zsh || true - ;; - (upgrade) - ;; - - (failed-upgrade) - ;; - - (*) - echo "prerm called with unknown argument \`$1'" >&2 - exit 0 - ;; -esac - -#DEBHELPER# - -exit 0 |