Labels Milestones
Back-5.035382e-001 -1.131508e-003 8.639722e-001 vertex 4.166407e+000 -1.657257e+000 2.491820e+001 facet normal 0.880541.
- Normal -9.838410e-04 -0.000000e+00 -9.999995e-01.
- Switch/button/knob/etc. Cb3a50e19a More tweaks.
- $abs=preg_replace($re, '/', $abs, -1, $n)) { .