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
#10056
Merge branch 'dev_GUI' into 'dev'
Open source release of CityDoctorGUI and other extensions. See merge request
!6
1 job for
dev
in 1 minute and 6 seconds (queued for 3 seconds)
81be0b1d
1 related merge request:
!8 Version 3.15.0
Pipeline
Needs
Jobs
1
Tests
411