]> www.ginac.de Git - ginac.git/history - cint/Makefile.in
- updated Makefiles
[ginac.git] / cint / Makefile.in
2000-01-31 Christian Bauer- updated Makefiles
2000-01-30 Richard Kreckel- Renamed flag NO_GINAC_NAMESPACE to NO_NAMESPACE_GINAC...