Merge branch 'feature/doc-indexset' into 'master' (!92) · Merge requests · staging / dune-python · GitLab

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

Martin Nolte requested to merge cherry-pick-2e5fa20b into releases/2.6 Nov 10, 2017

[doc] add initial documentation to index set

See merge request !91 (merged)

(cherry picked from commit 2e5fa20b)

d0376bee [doc] add initial documentation to index set