merging → extractors Relation

File in dune/grid-glue/merging	Includes file in dune/grid-glue/extractors
contactmerge.hh	extractorpredicate.hh