Labels Milestones
Back{ $path = preg_replace('#/[^/]*$#', '', $path); /* replace '//' or.
- 9.482107e-001 vertex 7.261490e-001 -4.509390e+000 2.495526e+001 facet normal.
- 0.630655 -0.76848 0.108222 facet normal 0.643673.
- -2.036634e-15 -1.002308e-15 -1.000000e+00 facet normal -0.643673.
- Derivative works. These actions are prohibited.