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

gap-actions / run-pkg-tests

Other

1 stars 4 forks source link

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

Closed ChrisJefferson closed 10 months ago