Labels Milestones
BackNormal 0.0363537 -0.092629 -0.995037 vertex 9.90388 1.32255 0.0400096 vertex 9.99493 0.0024623 0.0491151 facet normal 0.877731.
New Pull RequestNormal 0.0363537 -0.092629 -0.995037 vertex 9.90388 1.32255 0.0400096 vertex 9.99493 0.0024623 0.0491151 facet normal 0.877731.
New Pull Request