genheader.pl: create a header file 'cint_workaround.h' to fix the broken
[ginac.git] / cint /
drwxr-xr-x   ..
-rwxr-xr-x 1251 configure
-rw-r--r-- 190 dummy_ginsh.cpp
-rwxr-xr-x 1624 genheader.pl
-rw-r--r-- 6869 ginaccint.cpp