[cornerpoint] add patch for opm-common
See https://github.com/OPM/opm-common/pull/302. Can be removed if cherry-picked to OPM's 2018.04 release branch.
parent
f56fc571
No related branches found
No related tags found
patches/opm-common-2018.04.patch
0 → 100644
Please register or sign in to comment