]> www.ginac.de Git - ginac.git/history - tools/.gitignore
Avoid "instantiation of variable 'reg_info' required..." warning.
[ginac.git] / tools / .gitignore
2020-04-10 Richard KreckelAdd .gitignore files.