]> www.ginac.de Git - ginac.git/search
genheader.pl: create a header file 'cint_workaround.h' to fix the broken