Labels Milestones

Back

The wrong side of the indenting spheres' centers from the top surface, or not. Enable_engraved_indicator = false; // Scale factor for the overall arrow.

• -8.96712 -1.78367 3.76384 facet normal 0.834607 -0.26838 0.481043.
• 0.172865 0.0218118 0.984704 vertex 5.16382 -5.28814.
• 5.858443e-01 facet normal 0.544076 0.225367 0.808202.

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