Merge branch 'feature/fix-headercheck' into 'master' (!111) · Merge requests · Core Modules / dune-grid · GitLab

Ansgar Burchardt requested to merge cherry-pick-88bfaa67 into releases/2.5 Oct 24, 2016

Fix includes etc. to make headercheck pass

This should solve #35 (closed) .

See merge request !108 (merged)