Labels Milestones

Back

2.5; // margins from edges h_margin = hole_dist_side + thickness; v_margin = hole_dist_top*2.

• 0.63258 facet normal 0.884724 -0.268379 0.381099 facet normal.
• Normal 4.103484e-06 -1.000000e+00 -3.763539e-07 facet normal -0.544084 -0.22536.

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