]> www.ginac.de Git - ginac.git/history - cint/ginaccint.1
- updated Makefiles
[ginac.git] / cint / ginaccint.1
2000-01-30 Richard Kreckel- Renamed flag NO_GINAC_NAMESPACE to NO_NAMESPACE_GINAC...