Labels Milestones

Back

5.78941 6.73694 vertex 1 3.18579 20.5 vertex 1 6.92771 7.89317 vertex 1 5.27986 22.0001 vertex -5.27501 -1.04926 22.0001 vertex.

• 99b8f1493d9f2a363a83835d795293cab3a675c2 Mon Sep 17.
• -1.042690e+02 9.725134e+01 1.042389e+01 vertex.
• -0.634388 0.773014 0 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