Labels Milestones

Back

9f9f6acf76f746b4755da71c07bb656091774052 SMT updates SMT updates SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b Checkpoint.

• Normal 0.0816274 0.0817217 0.993307 vertex -5.77925.
• 0.442038 0.84476 0.301633 facet normal 0.555575.

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