Merge branch 'feature/opm-newest-version' into 'master' (!1420) · Merge requests · dumux-repositories / dumux

Timo Koch requested to merge cherry-pick-7941a31f into releases/3.0 Dec 18, 2018

Feature/opm newest version

(cherry picked from commit 7941a31f)

2bd37f28 [installexternal] Update to newest opm release d3f8ef87 [patches] Delete unnecessary patches 2541ce80 [cmake][opts] Add opm cmake variables to opts-file 2bd6a660 [install] Update opm installation output

Merge branch 'feature/opm-newest-version' into 'master'

Merge request reports