Merge branch 'feature/header-check-course-v3.4' into 'master' (!115) · Merge requests · dumux-repositories / dumux-course · GitLab

Merged Timo Koch requested to merge cherry-pick-29134e9e into releases/3.4 Jun 07, 2021

[headercheck] Fix missing headers

See merge request !114 (merged)

(cherry picked from commit 29134e9e)

f2fa7fbf [headercheck] Fix missing headers