Skip to content
GitLab
Explore
Sign in
Bliss
bliss
Merge requests
!1671
Doc improvements
Code
Review changes
Check out branch
Download
Patches
Plain diff
Holger Witsch
requested to merge
doc_improvements
into
master
Oct 31, 2019
Overview
0
Commits
2
Pipelines
1
Changes
6
Expand
Just a few places, where rewording seemed helpful.
Merge request reports