Labels Milestones
Back($rel[0] == '/') { $path = preg_replace('#/[^/]*$#', '', $path); if ($rel[0] == '#' || $rel[0] == '?') { return.
- -3.401810e-04 vertex -1.010136e+02 1.051113e+02 2.550000e+00.
- Vertex -8.39166 -5.61087 0.0491304 vertex -8.05435 5.67516.
- 4.75988 6.96188 facet normal.