Skip to content

Merge branch 'cleanup/installscript' into 'master'

Timo Koch requested to merge cherry-pick-7a6fd6d4 into releases/3.2

Cleanup/installscript

Closes #848 (closed)

See merge request !1965 (merged)

(cherry picked from commit 7a6fd6d4)

acaf8100 [install] move and modify installscript b0775e20 [install][handbook] Modify the description of the quick install 14914915 [install][external] Add install course and lecture as options 204468d5 [bin][install] Fix several issues with installdumux.sh script ed7e6247 [install] add check for existing cmake.opts file

Merge request reports