To find the state of this project's repository at the time of any of these versions, check out the tags.
Deprecate old dumux mapper.update() interface" Closes #1051 See merge request !2712 (cherry picked from commit 074f2c55) bc0c8753 [gridmapper] Deprecate dumux mapper.update() add argument gridView