Use <array> instead of <dune/common/array>
See also dune-common#13 (closed).
Merge request reports
Activity
mentioned in commit 2746324d
Ouch, sorry about that. This one was a bit over-eager. There is a place where
fill_array
is still used :(Please merge !6 (merged) as well...
Please register or sign in to reply