Skip to content

[!362] Fix typo in documentation

Oliver Sander requested to merge cherry-pick-7f378e3e into releases/2.7

Merge branch 'fix-typo' into 'master'

See merge request core/dune-istl!362

(cherry picked from commit 7f378e3e)

6ebb2d11 Fix typo in documentation

Merge request reports