Skip to content
Snippets Groups Projects
Forked from Core Modules / dune-common
4645 commits behind the upstream repository.
Markus Blatt's avatar
Markus Blatt authored
When moving the documentation of the parallel index sets from dune-istl
to dune-common, we forgot to adjust the installation directories accordingly.
This patch fixes this situation.
6b30e8f7
History