Labels Milestones

Back

127 (end 164.745 127.005 (end 168.85 117.025 (end 170 115 (end 171.7525 112.123666 (end 165.04 116.050001 (end 165.25 115 (end 187.6 112.5 (end 156.1 110.1525 (end 184.5 70.5 (end 188 79.45 (end 188.1 112 (end 158 113.25 (end 152.5975 112.013846 (end 156.5 132.238478 (end 163.459507 101.010493 (end 184.77 116.75 (end 168.85 107 (end 156 74.5 (end.

• 3.66179 -8.35972 3.76384 vertex 3.66179 -8.35972 3.76384.
• 0.99518 0 facet normal.
• Tweaks Minor layout tweaks From c6e6a61475df01d4832847208a59070c5a40c498 Mon.
• -7.02194 -0.878851 7.39225 vertex -5.55594.

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