Merge branch 'bugfix/add_missing_header' into 'master' (!135) · Merge requests · Core Modules / dune-grid · GitLab

Christoph Grüninger requested to merge cherry-pick-573898b1 into releases/2.5 Nov 22, 2016

[bugfix] add missing header guards and headers to make headercheck pass

See merge request !127 (merged)