Skip to content

Move dune-grid-glue to the 'extension' group

Oliver Sander requested to merge move-dune-grid-glue-to-extension-group into master

It is not a grid manager, hence the group 'grid' is not correct.

Fixes #73 (closed).

Merge request reports