Labels Milestones

Back

166.5 127 (end 166.5 127 (end 164.745 127.005 (end 169.1 85 (end 154.3475 126.5 (end 160 129.5 (end 160.35 131.75 (end 162.85 122.845 (end 163.5 117.5975 (end 162.78 116.8775 (end 156.61 112.1 (end 163.5 114.510001 (end 183.1975 126.0525 (end 173.239949.

• -4.004260e-15 -1.000000e+00 -6.370551e-14 vertex -1.042522e+02.
• -7.073257e-03 8.745009e-01 vertex -1.084793e+02 9.695134e+01 9.130643e+00 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