gap-packages / sotgrps

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

Remove gap/oldpqrs.gi #37

Closed fingolfin closed 1 year ago

fingolfin commented 1 year ago

Or is there a reason to keep it around? If so, that reason should be documented.