`PackageInfo.g`: Add our GitHub usernames - Githubissues

peal / vole

A GAP package for backtrack search in permutation groups with graphs

https://peal.github.io/vole

Mozilla Public License 2.0

8 stars 2 forks source link

`PackageInfo.g`: Add our GitHub usernames #73

Closed wilfwilson closed 2 years ago

wilfwilson commented 2 years ago

This is just an idea; see https://github.com/gap-system/gap/issues/4784.