Update names in queries
module that refer to half-edges#2063
Merged
hannobraun merged 10 commits intomain from queriesOct 20, 2023
+91-87
Commits
Commits on Oct 20, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed