Merge branch 'headercheck/example_biomin' into 'master' (!2167) · Merge requests · dumux-repositories / dumux · GitLab

Dennis Gläser requested to merge cherry-pick-fe47be42 into releases/3.2 Jun 03, 2020

[example][biomin] add missing include

See merge request !2156 (merged)

(cherry picked from commit fe47be42)

cd9aa5cb [example][biomin] add includes for headercheck