Labels Milestones

Back

12; hole_vdist = 44.5; hole_radius = hole_diameter / 2; hole_margin.

• = true; arrow_indicator_scale = 1.3.
• -0.096838,-0.1215246 -0.073582,-0.014226 -0.040299,-0.1767984 0.06015,-0.044707 0.034612,-0.1514858 -0.034766,-0.066393 0.1130812,-0.1417542.
• 0.993353 vertex -6.27431 0.210331 7.81694 vertex 4.64918 0.210331.
• -0.290274 0.956869 -0.0119204 facet normal 0.447813 -0.382459.

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