Labels Milestones
BackTop square(smoothing_radius+pad,smoothing_radius+pad); rotate_extrude(convexity=10, $fn = stem_faces); // Widening part at the first if(preg_match("@.*(
- MC_1,5/3-GF-3.5; number of pins.
- 4.766073e-001 8.349531e-001 2.751340e-001 vertex -4.001343e+000 -2.376966e+000 2.473857e+001.