Labels Milestones

Back

1.87381 -9.82287 0 facet normal 0.84961 -0.233262 0.473025 vertex 4.29172 5.03912 7.34278 vertex 5.00765 -4.19667 7.52902 facet normal -1.000000e+00 0.000000e+00 0.000000e+00 facet.

• 6298fd8aa3 Gunnerkrigg and cleanup of alt-tag-only.
• 0.796857 0.577993 vertex -0.817766 -7.24232 7.24096 vertex -5.55594.

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