Skip to content

Merge branch 'patch-1' into 'master'

Kilian Weishaupt requested to merge cherry-pick-0166af79 into releases/3.3

Update 3_detailedinstall.tex

See merge request !2359 (merged)

(cherry picked from commit 0166af79)

3a3e712b Update 3_detailedinstall.tex

Merge request reports