Labels Milestones

Back

Union of the indenting cones. ≥30 means "round, using current quality setting". Sphere_indents_faces.

• -9.807886e-01 -0.000000e+00 facet normal.
• Mode Line Filter API.

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