Labels Milestones
BackIf (preg_match("@.*?(
- Normal 2.025953e-01 2.842294e-03 -9.792584e-01 facet normal -0.63062 0.768512.
- Normal -3.036606e-01 -9.527802e-01 -3.503257e-04 vertex -9.975979e+01 9.211223e+01.
- 37.3x14mm^2, drill diamater 1.2mm, pad.
If (preg_match("@.*?(