Labels Milestones

Back

(mid 4.633903 -1.509328 (end 4.864184 -1.122795 (mid 1.143021 2.192818 (end 0.1836 1.098807 (mid 0.446097 -1.509328 (end 4.864184 -1.122795 (mid.

• Normal -0.109671 -0.552039 -0.826575 vertex 0.4 -3.34543 18.1498.
• -0.796851 -0.241732 0.553709 vertex -9.09213 3.43962.
• Vertex 9.74602 0 3.26879 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