1 Commits

Author SHA1 Message Date
Stefano Sinigardi
ba259efd89 [polyclipping] new port (#6636)
* [clipper] add port

* [clipper] works only if built as a static library

* [clipper] rename to polyclipping
2019-06-03 15:09:09 -07:00