genheader.pl: create a header file 'cint_workaround.h' to fix the broken
[ginac.git] / acconfig.h
2000-01-19 Christian Bauer- updated configure script and makefiles
1999-11-09 Christian Bauer- added missing acconfig.h