Remove 'resolution' parameter from method CreateBoundarySegment
It is not used anywhere.
The UGGrid wrapper in dune-grid needs a small corresponding update, which is in core/dune-grid!160 (merged) .
It is not used anywhere.
The UGGrid wrapper in dune-grid needs a small corresponding update, which is in core/dune-grid!160 (merged) .