Labels Milestones

Back

+ tolerance*4; //three knobs plus space between them right_panel_width = width_mm .

• -5.16186 5.26759 6.86461 vertex 0 -6.57572 7.16319 facet.
• 6.34847 12.858 vertex 1.

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