Labels Milestones

Back

122.26 (end 168.5375 124.9625 (end 154.17 123.75 (end 168.85 121.975 (end 170.12 117.999999 (end 171.5025 114 (end 156.82 108.847067 (end 159.1 143.37 (end 151.32497 127.31492 (end 153.82497 118.046038 (end 163.459507 101.010493 (end 184.77 116.75 (end 156 74.5 (end 162.35 78.3475 (end 152.25 130.0975 (end 155.25 123.5 (end 155.96 120 (end 154.25 129.25 (end 158.5 80 (end 159.88 117.37 (end 163.2525 79.25 (end 156.63 117.37 (end 163.2525 79.25 (end 156.63 117.37 (end 152.25 121.75 (end 162.105 115.145 (end 168.85 106.357184.

• (43 Eco2.User user (44 Edge.Cuts.
• Normal -4.120040e-001 -9.111820e-001 0.000000e+000 vertex.
• Normal -0.392549 0.734381 0.553705 facet.
• Bytes Notes: Before producing.

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