mirror of
https://github.com/OPM/opm-simulators.git
synced 2026-08-04 15:53:01 -05:00
this allows quite a substantial amount of code decluttering, mainly because Dune 2.4 renamed mapper.map() to mapper.index().
this allows quite a substantial amount of code decluttering, mainly because Dune 2.4 renamed mapper.map() to mapper.index().