Clipper
operator*() :
clipper
Generated on Fri Jan 13 2017 11:16:44 for Clipper by
1.8.13