Merge branch 'add-missing-header' into 'master' (!11) · Merge requests · agnumpde / dune-matrix-vector · 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-7bbb4d31 into releases/2.7 Nov 16, 2020

Add missing header resize.hh to CMakeLists.txt

See merge request !10 (merged)

(cherry picked from commit 7bbb4d31)

bc256515 Add missing header resize.hh to CMakeLists.txt