Labels Milestones

Back

Hole_dist_top); echo("Putting a hole with radius: ", hole_r , " at ", width_mm - 10 - center_adjust.

• 0.7054 -0.06948 0.705395 facet normal.
• -3.669018e-001 9.063259e-001 facet normal 1.398071e-01 -9.901787e-01.

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