]> www.ginac.de Git - ginac.git/history - cint/dummies.pl
- Made configure warn a lot when readline-stuff couldn't be found.
[ginac.git] / cint / dummies.pl
2000-01-30 Richard Kreckel- Renamed flag NO_GINAC_NAMESPACE to NO_NAMESPACE_GINAC...