Commit 3399c53c authored by Robert K's avatar Robert K

[!333] Cleanup and some bugfix for AdaptiveLeafIndexSet.

Merge branch 'bugfix/adaptive-leaf-index-set' into 'master'

ref:dune-fem/dune-fem Some cleanup and bugfixes (mostly when using UGGrid).

See merge request [!333]

  [!333]: gitlab.dune-project.org/dune-fem/dune-fem/merge_requests/333
parents 7dda03e6 8f57b7ac
Pipeline #21151 failed with stage
in 44 minutes and 15 seconds