Skip to content
Snippets Groups Projects
Commit 2fec207e authored by Timo Koch's avatar Timo Koch
Browse files

[extrusion] Add isRotationalExtrusion helper to extrusion header

parent 0ebe01f5
No related branches found
No related tags found
1 merge request!3201[extrusion] Add isRotationalExtrusion helper to extrusion header
Pipeline #18983 passed
Stage: trigger dumux pipelines
Pipeline: dumux-lecture

#18988

    Pipeline: dumux

    #18987

      Pipeline: dumux

      #18986

        +2