Merge branch 'fix/handbook-first-run' into 'master' (!1441) · Merge requests · dumux-repositories / dumux · GitLab

Timo Koch requested to merge cherry-pick-b5f03cb4 into releases/3.0 Dec 19, 2018

[doc][handbook] build directory name is not specified in input file

See merge request !1439 (merged)

(cherry picked from commit b5f03cb4)

4a12534b [doc][handbook] build directory name is not specified in input file