Commit 6e567183 authored by Christian Engwer's avatar Christian Engwer

[!263] Fix a copy'n'paste bug in the code documentation

Merge branch 'fix-copy-n-paste-bug' into 'master'

See merge request [!263]

  [!263]: Nonecore/dune-istl/merge_requests/263
parents 0c74a19a 8fb0529f
Pipeline #16553 passed with stage
in 5 minutes and 46 seconds