Skip to content

Make PartialGlobalEdge more flexible#1294

Merged
hannobraun merged 5 commits intomainfrom partialNov 1, 2022