Labels Milestones

Back

-15.26 (end 5.72 -15.26 (end -3.18 -15.26 (end 5.72 5.1 (end -1.33 1.33 (end -1.33 0 (end -5 -7.9 (end.

• -0.451284 0.288991 vertex -6.34429 6.34429 4.79464 facet.
• 0.0123067 0.98763 facet normal 0.980847 0.194778.
• 0.0928906 0.995676 vertex 0.703367 -9.38579 20.0916.

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