Labels Milestones
Back-6.23601 6.0001 vertex -6.23601 4.16677 6.0001 vertex -5.30329 5.30329 6.0001 vertex 6.92909 -2.87011 6.0001 vertex 6.92909 -2.87011 6.0001 vertex 5.30329 5.30329 6.0001 vertex 0 -6.33566 7.50886 facet normal -0.584872 0.80502 0.0993387 vertex -5.09939 6.16411 20 vertex 5.25861 -3.8206.
New Pull Request