mirror of
https://github.com/OPM/ResInsight.git
synced 2024-12-29 10:21:54 -06:00
1e7c4a385a
Also introduced an option to turn openmp on and off p4#: 22257 |
||
---|---|---|
.. | ||
01_use_system_ert.patch | ||
02_install_docdir.patch | ||
03_remove_internal_header_include.patch | ||
04_ert_api_changes.patch | ||
series |