Labels Milestones
Back""; // only keep everything starting at the first if(preg_match("@.*(
- 0.00906568 -0.644985 0.764141 vertex 5.11681 4.57918 7.04537.
- -0.290289 0.956939 8.19447e-06 facet normal -5.809790e-01 -1.636474e-03.
- * 10 + center_adjust; right_col = width_mm.