Merge branch 'cherry-pick-b0ce2d5a' into 'releases/3.0'
Merge branch 'feature/improve-handbook' into 'master' See merge request !1428
doc/handbook/3_course.tex
0 → 100644
Merge branch 'feature/improve-handbook' into 'master' See merge request !1428