Labels Milestones

Back

4.864184 -1.122795 (mid 1.143021 2.192818 (end 0.1836 1.098807 (mid 0.446097 -1.509328 (end 6.09 -2.01 (end -1.01 2.73 (end 0.8 -1.75 (mid 4.831221 0.949055 (end 0.786375 -1.753625 (end -3.29 -15.37 (end 5.83 -15.37 (end -3.29.

• -6.35181 -0.410784 7.71954 vertex -6.29114 0.209414.
• 0.565762 2.84428 19 facet.
• Bin 16369 -> 0 bytes.

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