[ginac.git] / ginac-tools.postinst

#!/bin/sh
set -e

if test -x /usr/bin/update-menus; then update-menus; fi

#DEBHELPER#