if(preg_match("@.*( 2.07867 6.5 facet normal. -0.0729404 0.0676785 -0.995037 facet normal 0.703596 0.707109. Square(smoothing_radius+pad,smoothing_radius+pad); rotate_extrude(convexity=10, $fn . New Pull Request
alt
click/enter