Skip to content

Rename install.sh to prerequisites.sh - #34

Draft
fingolfin wants to merge 1 commit into
homalg-project:masterfrom
fingolfin:mh/prerequisites.sh
Draft

Rename install.sh to prerequisites.sh#34
fingolfin wants to merge 1 commit into
homalg-project:masterfrom
fingolfin:mh/prerequisites.sh

Move parts of install.sh into new prerequisites.sh

d17fdf2
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs