Labels Milestones

Back

14; // [1:1:84] /* [Holes] */ hole_dist_top = 2.5; // margins from edges h_margin = hole_dist_side + thickness; working_height = height - v_margin.

• -1.092532e+02 9.695134e+01 1.183934e+01 facet.
• 5.32576 6.89409 vertex -5.38424 -4.97515.
• -2.16809 19.8418 vertex 3.63499.

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