Merge branch 'cleanup/duneheaders' into 'master' (!112) · Merge requests · dumux-repositories / dumux-lecture · GitLab

Ned Coltman requested to merge cherry-pick-9a01b98a into releases/3.2 Apr 21, 2020

[cleanup] remove unnecessary dune headers

See merge request !111 (merged)

(cherry picked from commit 9a01b98a)

1d8e9490 [cleanup] remove unnecessary dune headers