Skip to content
GitLab
Explore
Sign in
Register
Draft: Feature/geometry tolerance
Code
Review changes
Check out branch
Download
Patches
Plain diff
Dennis Gläser
requested to merge
feature/geometry-tolerance
into
master
Oct 28, 2021
Overview
17
Commits
3
Pipelines
2
Changes
2
Expand
Introduces a central place for geometry tolerance definitions.
Fixes
#1091 (closed)
Edited
Jun 02, 2022
by
Timo Koch
Merge request reports