Labels Milestones
Back$base $path = preg_replace('#/[^/]*$#', '', $path); if ($rel[0] == '#' || $rel[0] == '?') { return $base.$rel; } extract(parse_url($base)); $path = preg_replace('#/[^/]*$#', '', $path); /* replace '//' or .
- 0.830854 -0.556491 -1.85843e-07 vertex -1.32933 -3.15183 6.59.
- 162x14mm^2 drill 1.15mm pad 3mm Terminal.
- -0.417286 0.880979 vertex 8.33435 0 5.74921 facet.
- 3.539899e-001 vertex 4.063672e+000 -2.345819e+000.