]> www.ginac.de Git - ginac.git/history - tools/Makefile.am
- renamed archive::dump() to archive::printraw() for consistency with the
[ginac.git] / tools / Makefile.am
2000-01-19 Christian Bauer- created