Improve setup.sh script, make it more resilient - Githubissues

gap-system / GitHubPagesForGAP

Template for easily using GitHub Pages within GAP packages

https://gap-system.github.io/GitHubPagesForGAP/

Other

13 stars 11 forks source link

Improve setup.sh script, make it more resilient #15

Open fingolfin opened 6 years ago