Skip to content
GitLab
Explore
Sign in
Libraries
KOSMIndoorMap
Merge requests
!38
Make sure "Floor" is always shown in the title for numeric floor names
Code
Review changes
Check out branch
Download
Patches
Plain diff
Tobias Fella
requested to merge
work/tobias/floors
into
master
Apr 22, 2024
Overview
0
Commits
1
Pipelines
3
Changes
1
Expand
Merge request reports