dune-grid-glue 2.5-git

grid-glue → merging Relation

File in dune/grid-glueIncludes file in dune/grid-glue/merging
gridglue.hhmerger.hh