Labels Milestones
Back-6.451590e-01 -3.270579e-04 vertex -1.030077e+02 9.441667e+01 3.455000e+01 vertex -9.657885e+01 9.175388e+01 1.855000e+01 vertex -1.024702e+02 9.381525e+01 2.655000e+01 facet.
- 4.11794 -9.04239 2.94279 vertex -9.92995 -0.344109 2.94279 vertex.
- [PATCH 11/13] more fixes a5c5ff12ce18fecaaf346f973863d12bf361ac82
- -0.489712 -0.50788 0.708689 facet.