Skip to content

[!375] [cmake] Add missing header installations

Dominic Kempf requested to merge cherry-pick-337e8a5a into releases/2.6

Merge branch 'feature/missing-headers' into 'master'

See merge request pdelab/dune-pdelab!375

(cherry picked from commit 337e8a5a)

fff54d7c [cmake] Add missing header installations

Merge request reports