Skip to content
GitLab

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

Merged Hanchuan Wu requested to merge cherry-pick-edce36d9 into master

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 request reports