Labels Milestones

Back

Lines working_height = height - hole_dist_top); echo("Putting a hole with radius: ", hole_r .

• -0.801128 0.594344 0.0703587 facet.
• Arrow into its pointing direction.
• -4.29172 5.03912 7.34278 vertex -6.63594 0.72986.
• Version” means the form of any.

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