#!/bin/sh
set -e
# We don't do anything here since a normal "uninstall" should generally not
# remove data - debian has "purge" to deal with this, others don't.