Labels Milestones

Back

-1.083797e+02 9.665134e+01 1.119586e+01 vertex -1.084033e+02 9.665134e+01 1.116563e+01 facet normal -0.5865 0.714682 0.381114 facet.

• Font for size From d8deca9307af08e321f2f6168a97d7f0d7734956 Mon Sep.
• 128.5; // A little less then.

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