75613e7 work around API changes of polyclipping 5.1

Authored and Committed by sailer 11 years ago
    work around API changes of polyclipping 5.1
    
        
file modified
+2 -2