Labels Milestones
BackIf (bottom_element=="switch") { } module make_surface(filename, h) { cylinder(r=hole_r, h=thickness*2); echo("Putting a hole with radius: ", hole_r , " at ", hole_dist_side, hole_dist_top); echo("Putting a hole with radius: ", hole_r , " at ", width_mm - hole_dist_side, height - hole_dist_top); echo("Putting a hole with radius: ", hole_r , " at .
- Easy hole_bottom = hole_top .
- -6.834657e-07 facet normal 0.974929 0.222515 -0 facet.
- -1.000000e+00 2.993235e-13 vertex -1.073417e+02 9.725134e+01 1.021420e+01.