Finalize 1.8.0 release.
[ginac.git] / .gitignore
2020-04-10 Richard KreckelAdd .gitignore files.