Skip to content
GitLab
Explore
Sign in
Register
dumux-repositories
dumux
Repository
dumux
patches
opm-common-2017.04.patch
Find file
Blame
History
Permalink
Merge branch 'feature/update-to-opm-2017.04' into 'master'
· e666c204
Timo Koch
authored
Jul 18, 2017
and
Kilian Weishaupt
committed
Jul 21, 2017
[opm] Update dumux to newest opm release See merge request
!526
e666c204