#! /bin/sh

set -e

case "$1" in
    remove)
	rm -f /var/lib/minizinc/Preferences.json
    ;;

    upgrade|deconfigure|failed-upgrade)
    ;;

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

#DEBHELPER#

exit 0
