Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
CityDoctor
CityDoctor2
Pipelines
#10321
Merge branch 'dev_citygml3' into 'dev'
CityGML 3.0. Support See merge request
!10
1 job for
dev
in 1 minute and 35 seconds (queued for 2 seconds)
b2d40f78
1 related merge request:
!11 CityDoctor Release Version 3.16.0
Pipeline
Needs
Jobs
1
Tests
415