genheader.pl: create a header file 'cint_workaround.h' to fix the broken
[ginac.git] / stamp-h.in
1 timestamp