genheader.pl: create a header file 'cint_workaround.h' to fix the broken
[ginac.git] / cint / dummy_ginsh.cpp
1999-12-14 Alexander Frinkfirst release of GiNaCcint