Labels Milestones

Back

(end 156.1525 126.75 (end 159.25 112 (end 175.9475 112 (end 175.9475 112 (end 175.9475 112 (end 187.6 114.5 (end 155.5975 110.1525 (end 177.6375 76.4625 (end 152.35 113.4 (end 177.85 76.4625 (end 152.35 113.4 (end 177.85 73 (end 175.26 70.91 (end 175.26 73.75 (end 162.6 108.098177 (end 163 108.25 (end 167.07 109.43 (end 181.1 95.441823 (end.

• -0.826732 vertex -1.11009 -2.67999 18.9335 vertex.
• -0.5482 vertex 2.63805 -1.98496 18.4724 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