install.sh: abort if any step fails - Githubissues

homalg-project / CddInterface

Gap Interface to Cdd

https://homalg-project.github.io/CddInterface

Other

1 stars 5 forks source link

install.sh: abort if any step fails #5

Closed fingolfin closed 5 years ago