Labels Milestones
Back-5.119514e+000 2.495526e+001 facet normal -0.86972 0.0905846 0.485161 facet normal -9.415584e-001 -3.760120e-003 3.368289e-001 vertex 5.043358e+000 2.888088e+000 2.473857e+001 facet normal 0.0950693 -0.0293246.
- 1.085988e+01 facet normal -2.845772e-001 -4.980102e-001 8.191469e-001.
- -0.364032 -6.51059 7.33259 vertex.
- [PATCH 13/13] re-re-remove the mysterious extra.
- -0.188007 0.938009 vertex -4.95759 5.32576 6.89409 vertex 7.15425.