b5c1daed8e8cee44f7f245011ba67c96f33e9e2d
[ginac.git] / debian / libginac-dev.prerm
1 #!/bin/sh -e
2 install-info --quiet --remove /usr/share/info/ginac.info
3
4 #DEBHELPER#