Skip to content

[cleanup] Use find PTScotch from Dune

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!?

Merge request reports