mirror of
https://github.com/OPM/ResInsight.git
synced 2026-08-01 09:18:12 -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.