aboutsummaryrefslogtreecommitdiff
path: root/ports/polyclipping
AgeCommit message (Collapse)Author
2019-06-03[polyclipping] new port (#6636)Stefano Sinigardi
* [clipper] add port * [clipper] works only if built as a static library * [clipper] rename to polyclipping