Skip to content
Snippets Groups Projects
Commit 629c5ac6 authored by Dominic Kempf's avatar Dominic Kempf
Browse files

[!280] Avoid visiting No-op integrals

Merge branch 'feature/avoid-visiting-noop-integrals' into 'master'

ref:dominic/dune-perftool I have a case where visiting has a side effect that
I want to avoid. Also spares work.

See merge request [dominic/dune-perftool!280]

  [dominic/dune-perftool!280]: gitlab.dune-project.org/dominic/dune-perftool/merge_requests/280
parents d4581f21 38c62d75
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment