Skip to content
GitLab
Explore
Sign in
FIX various margins and paddings
Code
Review changes
Check out branch
Download
Patches
Plain diff
Nils Windisch
requested to merge
fix/#79-fix-various-margins-and-paddings
into
develop
Oct 07, 2020
Overview
0
Commits
1
Pipelines
1
Changes
3
Expand
#79 (closed)
Merge request reports