Skip to content

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

Ludwig Jaeck requested to merge 4-renaming into main

Closes #4 (closed)

Merge request reports