Merge branch 'fix/handbook-developing' into 'master' (!1448) · Merge requests · dumux-repositories / dumux

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

Fix/handbook developing

(cherry picked from commit 2089f9d4)

5866adfb [doc][handbook] fix typo 3f460849 [doc][handbook] fix underscore interpretation 0a7d332e [doc][handbook] remove paragraph on dumux-devel

Merge branch 'fix/handbook-developing' into 'master'