Labels Milestones

Back

2.531 -1.04 (end 1.53 -1.04 (end 2.651 2.175 (end 2.651 -1.04 (end 1.69 -1.04 (end 1.49 2.569.

• -0.081207 0.0813448 0.993372 vertex -4.42536.
• 0.687856 0.439084 0.577979 facet.

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