Merge branch 'stop-installing-nonexisting-header' into 'master' (!89) · Merge requests · agnumpde / dune-fufem · GitLab

This is an archived project. Repository and other project resources are read-only.

oliver.sander_at_tu-dresden.de requested to merge cherry-pick-1d36a4c8 into releases/2.7 Nov 16, 2020

Stop distributing nonexisting header boundarymassassembler.hh

See merge request !88 (merged)

(cherry picked from commit 1d36a4c8)

6a9279fd Stop distributing nonexisting header boundarymassassembler.hh