genheader.pl: create a header file 'cint_workaround.h' to fix the broken
[ginac.git] / ginac-config.in
1999-12-01 Christian Bauer- added 'ginac-config' script and 'ginac.m4' macros...