patches/opm-common-2018.04.patch · 6981a79b357e13940af6c6ba5d7643fdc96f80d5 · dumux-repositories / dumux

6 years ago

Bernd Flemisch authored 6 years ago

See https://github.com/OPM/opm-common/pull/302. Can be removed if
cherry-picked to OPM's 2018.04 release branch.

1f8b7d9b

Bernd Flemisch authored 6 years ago

See https://github.com/OPM/opm-common/pull/302. Can be removed if
cherry-picked to OPM's 2018.04 release branch.