#! /bin/sh -e

install-info --quiet --remove bashdb

#DEBHELPER#