Skip to content
GitLab
Explore
Sign in
Resolve "Rename resource directories"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Resolve "Rename resource directories"
Tillmann Dönicke
requested to merge
71-rename-resource-directories
into
develop
Aug 07, 2025
Overview
0
Commits
6
Pipelines
15
Changes
42
Closes
#71
Merge request reports
Loading