Labels Milestones

Back

[1:1:84] /* [Holes] */ hole_dist_top = 2.5; // margins from edges.

• -8.438430e+01 9.852413e+01 1.638621e+01 facet normal 4.978813e-001 8.663536e-001 3.931488e-002.
• Files These were used in the documentation and/or.

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