Labels Milestones

Back

7.408577e-001 facet normal -0.114147 0.100183 0.9884 vertex -5.2649 4.9518 6.88859 facet normal 9.734656e-001 2.288332e-001 -0.000000e+000 vertex 3.318426e+000 4.564005e+000 9.983999e+000 vertex 6.971169e+000 -1.377601e+000 9.983999e+000 vertex -2.013369e+000.

• @todo Make the top_rounding() operation faster.
• Gets removed, it CANNOT be undone.

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