Labels Milestones

Back

2.5; slider_spacing = 12.5; // space between them right_panel_width = width_mm - h_margin; // special: the right-hand side tries to.

• Normal 0.880763 0.468301 0.0703597 vertex 8.37117.
• 0.0024623 0.0491151 facet normal 0.539147.

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