Labels Milestones
Back[Default values] */ // Create a hole with radius: ", hole_r , " at ", hole_dist_side.
- -0.195088 -0.980786 -2.9509e-06 facet normal.
- 0.787357 0.189015 0.586806 facet normal -0.488318.
-
X="5.4" y="1.5"/>
[Default values] */ // Create a hole with radius: ", hole_r , " at ", hole_dist_side.