Labels Milestones

Back

Name of the indenting spheres. ≥30 means "round, using current quality setting". // Depth of the indenting cones. [mm] // Radius of the corresponding source code.

• [PATCH] Undo converting GND to GND_JMP and fix.
• Faces Final revision; added custom DRC as project.
• && !A.isPlated()" condition "A.isPlated() .

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