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

[!133] exclude jacobi_n_0.hh from headercheck

Merge branch 'patch-1' into 'master'

ref:core/dune-geometry needs to be backported to releases/2.7

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

  [core/dune-geometry!133]: gitlab.dune-project.org/core/dune-geometry/merge_requests/133
parents 49f794b6 88240cb9
No related branches found
No related tags found
1 merge request!133exclude jacobi_n_0.hh from headercheck
Pipeline #23448 passed