Skip to content
GitLab
Explore
Projects
Groups
Snippets
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
CityDoctor
CityDoctor2
Commits
Commit
492d1673
authored
1 year ago
by
Matthias Betz
Browse files
Options
Download
Plain Diff
Merge remote-tracking branch 'remotes/origin/master' into dev
parents
1218132a
4678774f
master
107-opengl-view
dev
dev_bht
dev_cpp_code_conversion
dev_gui_features
dev_gui_features_zip_loading
dev_visitor_rework
3.17.2
3.17.1
3.17.0
3.16.0
3.15.0
archive/dev_visitor_rework
archive/dev_gui_features_zip_loading
archive/dev_citygml3
archive/dev_GUI
2 merge requests
!8
Version 3.15.0
,
!5
Fix: False positive self-intersection errors
Pipeline
#9149
passed with stage
in 1 minute and 1 second
Changes
4
Pipelines
1
Menu
Explore
Projects
Groups
Snippets