Labels Milestones

Back

121.83 (end 162.105 115.145 (end 168.85 117.025 (end 174.9025 119.65 (end 171.370001 119.25 (end 170.12 121.975 (end 170.12 121.975 (end 184 133.25 (end.

• -6.74156 7.03201 vertex 4.64974 -4.64974 7.16319 facet normal.
• Ref="J7" pin="2"/> 12.8504 vertex 1 6.37595 12.8553.

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