Merge branch 'fix/headercheck-for-3.4' into 'releases/3.4' (!2761) · Merge requests · dumux-repositories / dumux

Hanchuan Wu requested to merge cherry-pick-edce36d9 into master Aug 02, 2021

fix headercheck for the dumux folder

See merge request !2760 (merged)

(cherry picked from commit edce36d9)

ed561229 fix headercheck for the dumux folder ec7c98bb [examples] include required header

Merge branch 'fix/headercheck-for-3.4' into 'releases/3.4'