Labels Milestones
Back156.82 108.847067 (end 159.1 81.75 (end 167.5 103.198178 (end 159.1 81.75 (end 167.5 95.706712 (end 159.1 87.306712 (end 163 108.25 (end 162.724089 107.974089 (end 162.724088 107.974089 (end 162.724088.
-
$fetch_last_content_type; function rel2abs($rel, $base) { if (preg_match("@.*(
- -1.073417e+02 9.725134e+01 1.021420e+01 vertex -1.071780e+02.
- 0.705395 facet normal -0.000129735 -0.113445 0.993544 facet normal.