]> www.ginac.de Git - ginac.git/history - cint/dummies.pl
- inserted correct date.
[ginac.git] / cint / dummies.pl
2000-01-30 Richard Kreckel- Renamed flag NO_GINAC_NAMESPACE to NO_NAMESPACE_GINAC...