Labels Milestones
Back-4.740179e+000 9.983999e+000 vertex -4.919635e+000 2.734702e+000 2.496000e+001 vertex -3.012618e+000 4.746768e+000 2.496000e+001 vertex -4.397973e+000 -3.577460e+000 9.983999e+000 vertex 4.148033e+000 5.705007e+000 9.983999e+000 vertex -5.348437e+000.
- 9.725134e+01 4.847350e+00 facet normal 0.98935 -0.097375.
- Renaming the default branch. 303a55e236 organize a bit.