[build] Use python3 command in CMake build, not python.
[ginac.git] / ginsh / .gitignore
2020-04-10 Richard KreckelAdd .gitignore files.