Labels Milestones
Back-8.715152e-002 -3.880288e-004 9.961950e-001 vertex -5.254437e+000 -1.091603e+000 2.495526e+001 facet normal 0.995114 -0.0980118 -0.0119198 facet.
New Pull Request-8.715152e-002 -3.880288e-004 9.961950e-001 vertex -5.254437e+000 -1.091603e+000 2.495526e+001 facet normal 0.995114 -0.0980118 -0.0119198 facet.
New Pull Request