[uggrid] The Vector::skip field has been renamed (!361) · Merge requests · Core Modules / dune-grid · GitLab

Snippets Groups Projects

Merged Oliver Sander requested to merge fix-vector-leaf-index into master 5 years ago

It is used to store certain leaf indices, so let's call it 'leafIndex'.

Activity

Oliver Sander mentioned in issue staging/dune-uggrid#47 (closed) 5 years ago

mentioned in issue staging/dune-uggrid#47 (closed)
Oliver Sander merged 5 years ago

merged
Oliver Sander mentioned in commit e9df2002 5 years ago

mentioned in commit e9df2002
Ansgar Burchardt mentioned in merge request docker/ci!52 (merged) 5 years ago

mentioned in merge request docker/ci!52 (merged)

Please register or sign in to reply