Skip to content
GitLab

Small documentation improvements

Merged rinpatch requested to merge documentation-improvements into develop

A bunch of small documentation improvements, it is easier to review them by going though the commits rather than looking at the whole diff