Skip to content

Resolve "rename -> Face, Edge without prefix "Polyhedral""

Ludwig Jaeckrequested to merge
4-renaming into main

Closes #4 (closed)

Merge request reports