Labels Milestones
Back08c0726655 Added BCN, Something Positive } if ($rel[0] == '/') { $path = ''; function rel2abs($rel, $base) { if (preg_match("@.*(
- -0.122657 -0.678289 0.724486 facet normal -3.776370e-001.
- 2.084875e-03 -9.816305e-01 vertex -1.060526e+02 9.695134e+01.