Skip to content
GitLab
Explore
Sign in
HIFIS
software.hifis.net
Merge requests
!111
Resolve "Adjust Header Whitespace"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Erxleben, Fredo
requested to merge
82-adjust-header-whitespace
into
master
Dec 09, 2019
Overview
17
Commits
15
Pipelines
8
Changes
8
Expand
Closes
#82 (closed)
Edited
Dec 12, 2019
by
Erxleben, Fredo
Merge request reports