]> www.ginac.de Git - cln.git/history - src/Makefile.devel
Cater to the fact that g++ 4.3 will use a different naming for
[cln.git] / src / Makefile.devel
2000-01-28 Richard KreckelInitial revision