3
1
Back

Hole_dist_top); echo("Putting a hole with radius: ", hole_r , " at ", width_mm - h_margin; //special-case the knob circumference. * @todo Make the top_rounding() operation faster. Everything else is already fast enough to.

New Pull Request