Skip to content
Snippets Groups Projects
Commit ce805060 authored by Christoph Grüninger's avatar Christoph Grüninger
Browse files

[!136] Feature/remove deprecated

Merge branch 'feature/remove-deprecated' into 'master'

See merge request [core/dune-geometry!136]

  [core/dune-geometry!136]: Nonecore/dune-geometry/merge_requests/136
parents db1358cd 35d513bb
No related branches found
No related tags found
1 merge request!136Feature/remove deprecated
Pipeline #24816 passed