]> www.ginac.de Git - ginac.git/blob - debian/diversions.ex
genheader.pl: create a header file 'cint_workaround.h' to fix the broken
[ginac.git] / debian / diversions.ex
1 <FILE> <Diverted to> <Packagename>