diff options
Diffstat (limited to 'debian/prerm')
-rw-r--r-- | debian/prerm | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/debian/prerm b/debian/prerm deleted file mode 100644 index 7548411..0000000 --- a/debian/prerm +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/sh - -set -e - -case "$1" in - remove|purge) - if which apt-key > /dev/null; then - apt-key del 0x1E34A1828E207901 - apt-key del 0x837C1AD5367429D9 - fi - ;; -esac |