Labels Milestones

Back

Unescape left_rib_x = hole_dist_side + thickness; right_rib_x = width_mm - right_rib_thickness; //} module make_surface(filename, h) { cylinder(r=hole_r, h=thickness*2); echo("Putting a hole with radius: ", hole_r.

• -7.25237 -0.938256 7.41914 facet normal -0.55473 0.0546198 0.830236.
• Normal -0.0822463 -0.0819801 0.993235 facet normal -0.815973 0.545444.
• 2001 45c41b9873 Go to file.

New Pull Request

0 Open 0 Closed

Label

Show archived labels

Use alt + click/enter to exclude labels

All labels No label

Milestone

All milestones No milestones

Project

All projects No project

0 Open 0 Closed

Close

Label

Clear labels

Milestone

No milestone

Projects

Clear projects