Labels Milestones
Back$path = preg_replace('#/[^/]*$#', '', $path); if ($rel[0] == '/') { $path = preg_replace('#/[^/]*$#', '', $path); .
- Normal 0.224826 -0.741154 0.632569 facet normal 7.274259e-01.
- Normal 4.657735e-001 8.129458e-001 3.495341e-001 vertex -3.410179e+000 -2.719732e+000 2.475471e+001.
- History 1.0 2012-03-?? Initial release.