Change bin/gap.sh into gap as bin/gap.sh has been removed - Githubissues

gap-actions / setup-gap

Other

1 stars 5 forks source link

Change bin/gap.sh into gap as bin/gap.sh has been removed #46

Closed ChrisJefferson closed 1 year ago