Labels Milestones

Back

Invert=false); text(string, size, halign=halign, font=font); } module external_direction_indicator() { if(pointy_external_indicator == true module set_screw_hole() { if(set_screw == true .

• 8.329157e-02 9.965252e-01 2.477165e-06 facet normal.
• Normal -3.036929e-01 9.527700e-01 -7.112507e-05 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