Skip to content
Snippets Groups Projects
Commit 7291ce49 authored by Timo Koch's avatar Timo Koch Committed by Christoph Grüninger
Browse files

Merge branch 'feature/cmake-missing-include' into 'master' 

[cmake] Add missing include

See merge request !3499

(cherry picked from commit 00bab0a9)

86f49610 [cmake] Add missing include
parent 63365e87
No related branches found
No related tags found
1 merge request!3500Merge branch 'feature/cmake-missing-include' into 'master'
Pipeline #29825 passed
Stage: check-status
    Stage: trigger dumux pipelines
      +3