Merge branch 'feature/FS1721-grid-selector' into 'master' (!123) · Merge requests · Core Modules / dune-grid · GitLab

Robert K requested to merge cherry-pick-ecdc1a43 into releases/2.5 Nov 07, 2016

Feature/fs1721 grid selector

See flyspray/FS#1721 (closed)

allow to enable/disable the gridselector feature.

See merge request !98 (merged)