Labels Milestones

Back

(end 174.4825 137.23 (end 171.6 134.3475 (end 185.1 157.67 (end 161.04 118.54 (end 156.25 129.25 (end 158.5 80 (end 158.5 120 (end 154.25 129.25 (end 152.6 155.17 (end 155.1 149.37 (end 155.706823 109.135 (end 150.75 145.02 (end 156.755141 108.086682 (end 155.615.

• { x0= 0; x1 = hsh > 0.
• 9.482107e-001 facet normal 8.712699e-01 4.908041e-01 -3.188436e-04.

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