Commits on Source (4)
-
Christoph Grüninger authored
-
Christoph Grüninger authored
Merge branch 'feature/update-authors' into 'master' See merge request [!359] [!359]: Nonecore/dune-grid/merge_requests/359
-
Oliver Sander authored
It is used to store certain leaf indices, so let's call it 'leafIndex'.
-
Oliver Sander authored
Merge branch 'fix-vector-leaf-index' into 'master' ref:core/dune-grid It is used to store certain leaf indices, so let's call it 'leafIndex'. See merge request [!361] [!361]: gitlab.dune-project.org/core/dune-grid/merge_requests/361