]> www.ginac.de Git - ginac.git/history - ginac-config.in
* GINAC_CHECK_ERRORS: Don't delete cache_file /dev/null (by Roberto Bagnara).
[ginac.git] / ginac-config.in
1999-12-01 Christian Bauer- added 'ginac-config' script and 'ginac.m4' macros...