Labels Milestones
BackMountHoleDepth = panelThickness+2; //because diffs need to call out for if(preg_match("@.*(
- Normal -2.537094e-001 4.349532e-001 8.639718e-001 facet.
- -0.962629 0.191474 -0.191527 facet normal.
- Normal -0.607321 0.740031 0.288991 vertex 3.4335.
- -2.295442e-01 vertex -1.084653e+02 9.725134e+01.