]> www.ginac.de Git - ginac.git/blob - debian/ginac-dev.postrm
* As agreed upon at lunch, remove debugmsg since it is hardly of any use.
[ginac.git] / debian / ginac-dev.postrm
1 #!/bin/sh
2 set -e
3 install-info --quiet --remove /usr/share/info/ginac.info
4
5 #DEBHELPER#