search

gap-packages / sotgrps

https://gap-packages.github.io/sotgrps/
GNU General Public License v2.0
2 stars 1 forks source link

Delete .DS_Store #3

Closed fingolfin closed 2 years ago

fingolfin commented 2 years ago

I would also recommend to add .DS_Store to a global gitignore file.

xpan-eileen commented 2 years ago

Thanks Max! I think it's done now!

fingolfin commented 2 years ago

Then we can close this I guess