Labels Milestones

Back

112 (end 175.6975 111.75 (end 165.1 107.67 (end 177.1 112 (end 175.6975 119.9275 (end 181.89 121.04 (end 166.35 108.92 (end 173.75 116.5 (end 173.745 116.495 (end 173.6675 111.03.

• 6.931669e+000 9.983999e+000 vertex -2.772438e+000 4.890769e+000 1.747200e+001 facet.
• -0.00384412 -0.367707 0.929934 vertex -7.35291 0.431314.

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