diff options
-rw-r--r-- | debian/prerm | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/debian/prerm b/debian/prerm index 9507ade5507..60d485d4eb2 100644 --- a/debian/prerm +++ b/debian/prerm @@ -16,8 +16,6 @@ set -e # for details, see http://www.debian.org/doc/debian-policy/ or # the debian-policy package -echo "arg: $1" - case "$1" in remove|upgrade|deconfigure) ;; |