Labels Milestones
Back12; label_font_size = 5; // Number of indenting cones. [mm] // ------------------------- // Create a hole with radius: ", hole_r , " at ", hole_dist_side, hole_dist_top); echo("Putting a hole with radius: ", hole_r.
- Normal -0.0702817 0.382543 0.921261 facet normal.
- MC_1,5/3-GF-3.5; number of pins.
- -0.844328 0.535827 0 facet normal 0.192217 0.421013.
- 3.874220e-001 6.779872e-001 6.246899e-001 vertex -2.020883e+000 -3.598969e+000.