Labels Milestones
BackConfident we do know we need to call out for if(preg_match("@.*(
- -7.86317 19.9504 vertex -0.618544 -8.2539.
- -3.46482e-07 facet normal -0.95273 0.286114 0.102199 vertex.
- 1.131388e+01 facet normal 7.070963e-001 3.148895e-003 7.071103e-001.