3
1
Back

Hole_dist_top); echo("Putting a hole with radius: ", hole_r , " at ", width_mm - h_margin; out_row_1 = v_margin+12; slider_bottom = v_margin+12; out_row_2 = out_working_increment*1 + out_row_1; out_row_5 = working_increment*4 + row_1; // special: the right-hand side tries.

New Pull Request