Skip to content
GitLab

[cleanup] Use find PTScotch from Dune

Closed Timo Koch requested to merge cleanup/use-find-ptsotch-from-dune into master

@gruenich We don't need this here, right? And it might even overwrite the stuff that Dune found!?