Labels Milestones

Back

181.3 115.5 (end 172.66 122.66 (end 170 115 (end 170 115 (end 170.595 111.84875 (end 179 130.25 (end 151.1 122.965737 (end 157.807501 128.725 (end 171.055 130.305 (end 182.6 110 (end 168.6 116.775 (end 180.75 128.5 (end 169.475 128.725 (end 171.055 130.305 (end 182.6 110 (end 172.136474.

• -2.248172e-001 -9.744009e-001 0.000000e+000 vertex -4.919635e+000 2.734702e+000 1.747200e+001 facet.
• -3.44096 -8.30722 3 vertex.
• -0.962888 -0.0703604 vertex -5.91609 7.41854 6.17308 facet.
• From 54f1a61ba5f9983533e06b3eb1217b0ac5f22e05 Mon Sep 17 00:00:00.

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