Labels Milestones

Back

Database GPG Key ID: LICENSE Normal file Unescape top_margin = (board_height - hole_vdist) / 2; hole_vert .

• -6.194752e-01 -7.850162e-01 -3.365870e-04 vertex -9.308748e+01 9.313313e+01 2.550000e+00 facet.
• -7.90994 3.27641 5.56266 facet normal 4.143483e-16.
• -0.629653 0.76827 0.115322 facet.
• 1.907807e-01 -2.084875e-03 -9.816305e-01 facet normal 0.307697 -0.502131 0.8082.

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