]> www.ginac.de Git - ginac.git/blob - debian/libginac-dev.prerm
- Missed to #include "config.h" for HAVE_SSTREAM.
[ginac.git] / debian / libginac-dev.prerm
1 #!/bin/sh -e
2 install-info --quiet --remove /usr/share/info/ginac.info
3
4 #DEBHELPER#