Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
dumux-repositories
dumux
Merge requests
!2161
Closed
Created
May 29, 2020
by
Timo Koch
@timok
Owner
Options
Report abuse
Report abuse
[cleanup] Use find PTScotch from Dune
Overview
4
Commits
1
Changes
1
@gruenich
We don't need this here, right? And it might even overwrite the stuff that Dune found!?