Skip to content

documentation improvements

Björn Brandenburgrequested to merge
minor-doc into master

Found Martin's nice documentation improvements in a stale branch, which appears to have never been merged. Let's do that now.

Merge request reports