Labels Milestones
Back-0.925191 0.0992043 vertex 3.40623 -7.23862 20 vertex 2.47214 7.60845 20 facet normal -0.587776 -0.809024 0 vertex -6.36396 -6.36396 3 vertex -8.82707 -1.75581 0 vertex -5.31736 8.65691 0 vertex 1.38893 2.07867 6.7 vertex 1.76777 1.76777.
New Pull Request