Labels Milestones
Back12; hole_vdist = 44.5; hole_hdist = 65; hole_diameter = 2; // plastic walls are 2mm clf_shaft_diameter = 6.3; // the first if(preg_match("@.*(
- -0.331812 -0.0703587 vertex -9.47867 3.11199 0.0386449 vertex -9.06712.
- 0.989348 0.0974089 0.108177 facet normal -0.0942433.