#!/bin/sh
set -e

if [ -e /etc/psdevtab ] ; then 
	rm -f /etc/psdevtab
fi
# Automatically added by dh_installmenu
if [ -x /usr/bin/update-menus ] ; then update-menus ; fi
# End automatically added section

