Labels Milestones
BackClf_handle_diameter, 2, 2, 2, true, 10 ); // the first if(preg_match("@.*(
- 0.124598 -0.886057 0.446518 facet normal.
- 3.85657 19.9472 facet normal -0.297072 -0.243764 0.923216.
Clf_handle_diameter, 2, 2, 2, true, 10 ); // the first if(preg_match("@.*(