Labels Milestones
Back$path); if ($rel[0] == '/') { $path = preg_replace('#/[^/]*$#', '', $path.
- 1.8897638,8.2440945 -0.90551136,3.2e-6" d="m 1.8897638,8.519685 -1.14173189,3.6e-6" d="m 1.8897638,8.5984252.
- 1.060829e+02 2.655000e+01 facet normal.
$path); if ($rel[0] == '/') { $path = preg_replace('#/[^/]*$#', '', $path.