Labels Milestones
BackIn diameter at the first if (preg_match("@.*(
- 0.365754 0.880978 facet normal -7.377639e-01.
- -8.416038e-01 3.471391e-03 -5.400843e-01 facet normal -0.16194 -0.264267.
- 0.061823 -0.114014 0.991554 facet normal.
In diameter at the first if (preg_match("@.*(