#!/bin/sh
set -e
# dummy empty prerm to cope with upgrades after install-info disappeared

#DEBHELPER#
