Labels Milestones

Back

173.75 116.5 (end 173.745 116.495 (end 173.6675 111.03 (end 175.61 113.14 (end 181.5025 113.5225 (end 178.39 115.25 (end 181.5025 115.25 (end 171.5 108.36 (end 171.5 108.36 (end 171.5 108.36 (end 171.5 108.36 (end 171.5 108.36 (end 171.5 106.955.

• -4.17805 6.0001 facet normal 0.768293 0.629624.
• -0.097633 0.108249 facet normal 9.988183e-01.
• SR1 notation More SR1 notation.

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