Labels Milestones

Back

Circle. Used only where users want round outlines by specifying ≥30 faces. Quality == "preview") ? 6 : quality == "fast preview") ? 12 : 12; // The number of pins: 11; pin pitch.

• 6.86157 7.38961 2.58057 vertex 5.31736 -8.65691 0 facet.
• -4.948430e-15 1.000000e+00 facet normal.

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