3
1
Back

Right_rib_thickness; // projection: make a hole with radius: ", hole_r , " at ", hole_dist_side, height - v_margin - title_font_size*1.5; working_height = height - hole_dist_top); echo("Putting a hole with radius: ", hole_r , " at ", width_mm - right_rib_thickness; //} module make_surface(filename, h) .

New Pull Request