Rename install.sh to prerequisites.sh#34
Draft
fingolfin wants to merge 1 commit intohomalg-project:masterfrom
Draft
Rename install.sh to prerequisites.sh#34fingolfin wants to merge 1 commit intohomalg-project:masterfrom
fingolfin wants to merge 1 commit intohomalg-project:masterfrom