Remove some generated files from repository, and add an initial .gitignore - Githubissues

gap-packages / grape

GRaph Algorithms using PErmutation groups

https://gap-packages.github.io/grape/

5 stars 7 forks source link

Remove some generated files from repository, and add an initial .gitignore #1

Closed fingolfin closed 5 years ago