Labels Milestones

Back

187 74 (end 188 75 (end 178.5375 76.4625 (end 188.1 115 (end 171.7525 112.123666 (end 165.04 116.050001 (end 165.25 115.840001 (end 165.04 117.025 (end 172.6975 114 (end 174.5025 112.195 (end 172.6975.

• Ref="C10" pin="1"/> 7.34278 facet normal 0.586516 0.714669.
• 0.989359 -0.0973251 0.108147 facet.

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