GitLab der Philipps-Universität Marburg
Skip to content
GitLab
Explore
Sign in
Fix directory and file names
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Fix directory and file names
Paul Münch
requested to merge
fix/file-names
into
main
Oct 15, 2025
Overview
0
Commits
5
Pipelines
0
Changes
2
Merge request reports
Loading