Labels Milestones

Back

4.011096e+000 9.983999e+000 vertex -2.857563e-001 -5.687710e+000 2.496000e+001 vertex -5.113995e+000 4.824093e+000 9.983999e+000 vertex 1.951762e+000.

• 0.0950328 0.0293136 -0.995042 facet.
• Notch removed from Covered.

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