Skip to content
GitLab

Merge branch 'update/installscript_for3.2' into 'releases/3.2'

Merged Gabi Seitz requested to merge cherry-pick-78484a74 into releases/3.2

[installscript] update checkout command for dumux and dumux-course to 3.2

See merge request !88 (merged)

(cherry picked from commit 78484a74)

c1b29e9c [installscript] update checkout command for dumux and dumux-course to 3.2