Use localIds instead of globalIds (!116) · Merge requests · agnumpde / dune-fufem · GitLab

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

lh1887 requested to merge bugfix/use-local-ids into master Jan 07, 2022

Closes #22 (closed).