Labels Milestones
Back-3.886841e-001 -6.772627e-001 6.246918e-001 vertex 3.465027e+000 2.690868e+000 2.484855e+001 facet normal 0.995184 -0.0980238 0.
- 3.058116e-14 facet normal 0.000246232 0.11537 0.993323.
- 4.323185e-001 vertex -4.020020e+000 -2.387860e+000 2.479508e+001 facet normal.
- H_margin; //special-case the knob before its final position.