mirror of
https://github.com/OPM/ResInsight.git
synced 2026-08-09 12:48:21 -05:00
This reverts commit ab0fa2fb19.
* This change should never have been merged back into the repo.
This reverts commit ab0fa2fb19.
* This change should never have been merged back into the repo.