Labels Milestones

Back

Quality == "preview") ? 0.5 : quality == "fast preview") ? 12 : 12; // Number of indenting spheres. Sphere_indents_count = 7; // generally-useful.

• Various tweaks From cd915e24c94d463c67b0b011c09a1ed6f99bb0bf Mon.
• 2.331 2.348 (end 2.331 2.348 (end.
• Straight, NO, gull wing leads.
• -1.48976 19.1916 facet normal 7.864998e-07.

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