]> www.ginac.de Git - ginac.git/history - config/.gitignore
Set version, soname ahead of release.
[ginac.git] / config / .gitignore
2020-04-10 Richard KreckelAdd .gitignore files.