Labels Milestones

Back

9.473923e+01 3.455000e+01 vertex -9.322199e+01 9.303533e+01 1.055000e+01 facet normal 3.036606e-01 9.527803e-01 -0.000000e+00 facet normal.

• (44 Edge.Cuts user (45 "Margin" user (46.
• 166.35 111.25 (end 165.13.
• -0.442581 0.106258 0.890411 facet normal 0.947349.
• Triple-pole double-throw DPDT spdt ON-ON.
• 3.036929e-01 -9.527699e-01 -3.503257e-04 vertex.

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