]> www.ginac.de Git - ginac.git/history - cint/genheader.pl
genheader.pl: create a header file 'cint_workaround.h' to fix the broken
[ginac.git] / cint / genheader.pl
2000-01-28 Alexander Frinkgenheader.pl: create a header file 'cint_workaround...