Labels Milestones

Back

Normal -9.804857e-001 -4.851941e-003 1.965305e-001 vertex 4.028750e+000 2.307008e+000 2.470887e+001 facet normal.

• Normal 4.491397e-001 7.844421e-001 4.276963e-001 vertex -5.011967e+000 -2.977209e+000 2.476740e+001.
• 56529bef3a Updates from real.
• Elaborations, or other work which contains a.

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