Skip to content
GitLab
Explore
Sign in
Small documentation fixes
Code
Review changes
Check out branch
Download
Patches
Plain diff
Martin Heistermann
requested to merge
doc-build-debian
into
master
Jun 28, 2019
Overview
3
Commits
2
Pipelines
0
Changes
1
Expand
missing packages & qt version <=5.13
Merge request reports
Loading