#!/bin/sh
set -e
#DEBHELPER#
if [ -x /usr/bin/update-menus ] ; then update-menus ; fi

