Labels Milestones

Back

-8.47298 5.66146 2.19603 vertex -0.373379 10.0771 2.58057 facet normal 5.735729e-001 2.554011e-003 8.191506e-001 facet.

• @todo Fix that engraved_indicator_depth.
• Header | | J7 .

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