Merge branch 'feature/update-to-opm-2017.04' into 'master'
[opm] Update dumux to newest opm release See merge request !526
No related branches found
No related tags found
Showing
- bin/installexternal.sh 19 additions, 11 deletionsbin/installexternal.sh
- config.h.cmake 0 additions, 1 deletionconfig.h.cmake
- patches/opm-common-2017.04.patch 1 addition, 1 deletionpatches/opm-common-2017.04.patch
- patches/opm-core-2017.04.patch 49 additions, 0 deletionspatches/opm-core-2017.04.patch
- patches/opm-grid-2017.04.patch 132 additions, 0 deletionspatches/opm-grid-2017.04.patch
- patches/opm-parser-2016.04.patch 0 additions, 18 deletionspatches/opm-parser-2016.04.patch
- patches/opm-parser-2017.04.patch 45 additions, 0 deletionspatches/opm-parser-2017.04.patch
Loading