Merge branch 'update/installscript_for3.2' into 'releases/3.2' (!100) · Merge requests · dumux-repositories / dumux-course

Gabi Seitz requested to merge cherry-pick-78484a74 into releases/3.2 Apr 14, 2020

[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

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