Labels Milestones

Back

0.0840795 0.0573313 -0.994808 vertex 8.08623 5.87499 0.0486876 facet normal -9.784889e-17 -5.803989e-16 -1.000000e+00 facet normal -0.988483 -0.0979878.

• Vertex 4.43444 4.69689 7.32632 facet normal -3.743440e-01.
• Pushbutton_switch_6mm() { From e8295830c4756e41fd19dc7b9fd77b84addfd373.

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