Labels Milestones

Back

172.66 122.66 (end 170 133.1525 (end 185 130.75 (end 172.66 117.025 (end 174.9025 119.65 (end 171.370001 119.25 (end 170.12 121.975 (end 170.12 117.999999 (end 162.25 131.75 (end 181.6 151.17 (end 152.6 155.17 (end 155.1 157.67 (end 167.17 130.6675 (end 167.17 155.6 (end 181.6 151.17 (end 152.6 155.17 (end 155.1 107.67 (end 169.555 106.205 (end 183.6 81.75 (end 167.5 95.706712 (end 159.1 143.37 (end 151.32497 127.31492 (end 153.82497 118.046038 (end 154.132232 130.122182 (end 165.1 157.67 (end 183.5 156.07 (end 175.136712 137.23 (end 171.6 134.3475 (end 185.1 157.67 (end 183.5 145.593288 (end 174.4825 137.23 (end 183.5 145.593288 (end 174.4825 137.23 (end 183.5 145.593288 (end 174.4825.

• -0.0668214 0.995037 vertex 7.63518 2.35514 19.9494 facet.
• H_margin/2, row_1, 0]; square_out .

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