Skip to content

GitLab

Explore

Sign in
Register

Primary navigation

Project

dumux
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Incidents

Snippets Groups Projects

e666c204

Commit e666c204 authored 7 years ago by Timo Koch Committed by Kilian Weishaupt 7 years ago

Downloads
- Patches
- Plain Diff

Merge branch 'feature/update-to-opm-2017.04' into 'master'

[opm] Update dumux to newest opm release

See merge request !526

parent 5db372ec

No related branches found

No related tags found

Loading

Changes 7

Hide whitespace changes

Inline Side-by-side

Showing

bin/installexternal.sh 19 additions, 11 deletions

bin/installexternal.sh
config.h.cmake 0 additions, 1 deletion

config.h.cmake
patches/opm-common-2017.04.patch 1 addition, 1 deletion

patches/opm-common-2017.04.patch
patches/opm-core-2017.04.patch 49 additions, 0 deletions

patches/opm-core-2017.04.patch
patches/opm-grid-2017.04.patch 132 additions, 0 deletions

patches/opm-grid-2017.04.patch
patches/opm-parser-2016.04.patch 0 additions, 18 deletions

patches/opm-parser-2016.04.patch
patches/opm-parser-2017.04.patch 45 additions, 0 deletions

patches/opm-parser-2017.04.patch

with 246 additions and 31 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment