Skip to content

Provide compilation option for existing dumux installation#702

Merged
MakisH merged 8 commits intodevelopfrom
dumuxcasecompilation
Feb 5, 2026
Merged

Provide compilation option for existing dumux installation#702
MakisH merged 8 commits intodevelopfrom
dumuxcasecompilation

Commits

Commits on Feb 4, 2026

Commits on Feb 5, 2026