Skip to content
GitLab
Explore
Sign in
PDELab
dune-pdelab
Issues
#162
Convenience header dune/pdelab.hh is never installed
It should though. While at it, I will check installation of other headers as well.