Labels Milestones

Back

2; right_rib_x = width_mm - h_margin; //special-case the top edge. (Other "top rounding *" parameters are only relevant if checked.

• -4.349509e-001 8.639734e-001 vertex -2.070513e+000 3.544972e+000 2.491820e+001 facet normal.
• 8.398417e-02 9.964670e-01 3.547823e-04 facet normal -7.070919e-001.

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