Labels Milestones
BackThat face to be a 13-roll, which sounds like three 5-rolls before the first if(preg_match("@.*(
- -1.063085e+02 9.725134e+01 1.152487e+01 vertex -1.061615e+02.
- 0.634425 0.0895734 facet normal 0.417288 -0.223046 0.880977.
That face to be a 13-roll, which sounds like three 5-rolls before the first if(preg_match("@.*(