Labels Milestones
Back$base $path = preg_replace('#/[^/]*$#', '', $path); if ($rel[0] == '#' || $rel[0] == '?') { return $rel; } extract(parse_url($base)); $path = preg_replace('#/[^/]*$#', '', $path); if ($rel[0] == '/') { $path.
- 6.745010e-001 6.247039e-001 facet normal -0.76849 0.630641.
- -0.561106 0.771497 facet normal -0.999989.