[bugfix] Replace usage of outdated *Mapper interface (!67) · Merge requests · agnumpde / dune-fufem · GitLab

This is an archived project. Repository and other project resources are read-only.

graeser requested to merge bugfix/fix-mapper-usage into master Apr 29, 2020