Labels Milestones

Back

160.54 113.25 (end 161.04 118.54 (end 156.25 129.25 (end 152.6 155.17 (end 155.1 149.37 (end 155.706823 109.135 (end 156.755141 101.025141 (end 150.75 114 (end 174.5025 116.939474 (end 172.941974 118.5 (end 174.5025 112.195 (end 172.6975 116.9875 (end 170.12 117.999999 (end 171.5025 114 (end.

• -8.44067 0.0433584 vertex 5.14212.
• -0.106559 0.137901 0.984697 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