Labels Milestones
Back// cube([137.5, 97, 1], center=true); echo("Putting a hole with radius: ", hole_r , " at ", width_mm - hole_dist_side.
- Normal -0.00722651 0.0990124 0.99506 facet normal 0.471399.
- RND 205-00008 pitch 5mm size 15x12.5mm^2.
// cube([137.5, 97, 1], center=true); echo("Putting a hole with radius: ", hole_r , " at ", width_mm - hole_dist_side.