andrea e52d04e6ba Update clipper ... Updated Clipper to V6.4.2		2023-07-31 17:33:29 +02:00
..
License.txt	Update clipper	2023-07-31 17:33:29 +02:00
clipper.cpp	Update clipper	2023-07-31 17:33:29 +02:00
clipper.hpp	Update clipper	2023-07-31 17:33:29 +02:00