Skip to content

documentation improvements

Björn Brandenburg requested 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