Merge branch 'add-missing-header' into 'master' (!11) · Merge requests · agnumpde / dune-matrix-vector · GitLab

Snippets Groups Projects

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

Merged oliver.sander_at_tu-dresden.de requested to merge cherry-pick-7bbb4d31 into releases/2.7 4 years ago

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

Activity

oliver.sander_at_tu-dresden.de mentioned in commit d145b475 4 years ago

mentioned in commit d145b475
oliver.sander_at_tu-dresden.de merged 4 years ago

merged

Please register or sign in to reply