Skip to content
GitLab
Explore
Sign in
first round of review:
Code
Review changes
Check out branch
Download
Patches
Plain diff
T.Koch
requested to merge
DevelopmentReview
into
Develompent_Pre_Review
Oct 23, 2023
Overview
0
Commits
2
Pipelines
0
Changes
6
Expand
-harmonized naming, formatting, typos, some rephrasing
Merge request reports