Skip to content

make PDELab-dependency optional

Lukas Renelt requested to merge feature/isolate-pdelab-dependencies into master

As suggested in #7 (closed) , we should not make dune-pdelab mandatory as the core functionality still works without it.

Edited by Lukas Renelt

Merge request reports