Skip to content

Miscellaneous improvements

Elias Pipping requested to merge pipping/dune-grid-glue:master into master

Miscellaneous improvements. Even though they're independent of another, I didn't want to open three separate merge requests for them. If some of this ends up being rejected, I'll happily come up with a new merge request, though.

Merge request reports