Skip to content

Continue cleanup of HalfEdge#1536

Merged
hannobraun merged 8 commits intomainfrom edgeJan 25, 2023