#!/bin/sh

set -e

EXTRAS_KEY="3E5C1192"

case "$1" in
    remove|purge)
	if [ -x /usr/bin/apt-key ]; then
	    apt-key del "$EXTRAS_KEY"
	fi
    ;;

    upgrade|deconfigure)
    ;;

    failed-upgrade)
    ;;

    *)
        echo "prerm called with unknown argument \`$1'" >&2
        exit 1
    ;;
esac

#DEBHELPER#

exit 0
