Labels Milestones
Back($rel[0]=='#' || $rel[0]=='?') { $path = preg_replace('#/[^/]*$#', '', $path); if ($rel[0] == '/') { $path = preg_replace('#/[^/]*$#', '', $path); if ($rel[0] == '/') { $path.
- -0.734385 -0.39254 0.553707 facet normal -0.0817448 -0.0561705 0.995069.
- 0.0921987 -0.173186 0.980564 facet normal -0.400391.