mirror of
https://github.com/OPM/ResInsight.git
synced 2026-10-12 08:25:03 -05:00
History of main branch was difficult to merge. Take a copy of dev-branch, and merge both ways between dev and main after the release.
History of main branch was difficult to merge. Take a copy of dev-branch, and merge both ways between dev and main after the release.