Skip to content
GitLab

Merge branch 'fix/opm-suggestions' into 'master'

Merged Timo Koch requested to merge cherry-pick-8f477e97 into releases/3.0

[opm] Add opm-common module to dune.module file

See merge request !1426 (merged)

(cherry picked from commit 8f477e97)

29754329 [opm] Add opm-common module to dune.module file

Merge request reports