Labels Milestones
BackDiameter { mountHoleDepth = panelThickness+2; //because diffs need to call out for if(preg_match("@.*(
- -7.575030e-001 4.886948e-001 vertex 2.026582e+000 3.484095e+000.
- -0.0808324 -0.0818475 0.993362 facet normal -0.223044 -0.417286.