Skip to content
GitLab
Explore
Sign in
Libraries
KOSMIndoorMap
Commits
774df712
Commit
774df712
authored
May 03, 2023
by
Volker Krause
Browse files
Consider local names as alternative when no element name is available
parent
1255da30
Pipeline
#392121
passed with stage
in 6 minutes and 34 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Preview
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Save comment
Cancel
Please
register
or
sign in
to comment