Labels Milestones
Back9.181029e+01 2.655000e+01 facet normal 0.884724 0.268375 0.381101 facet normal -0.478901 -0.594398 0.646022 facet normal -0.11511 7.7227e-05 0.993353 vertex 0 -5.37835 22.0001 vertex 4.47193 2.98805.
- Wall(h=4, w=width_mm-hole_dist_top-4); // one.
- "global_label_dangling": "warning", "hier_label_mismatch": "error", "label_dangling": "error.
- 9.198972e+01 3.455000e+01 vertex -1.015464e+02 9.303519e+01 3.455000e+01 vertex -1.045318e+02.