Labels Milestones

Back

1; $n > 0; $abs = preg_replace($re, '/', $abs, -1.

• -7.240739e-01 4.112761e-04 6.897223e-01 vertex -1.083528e+02.
• 0.963781 0.0993082 facet normal.
• Normal -9.062902e-001 -5.070952e-003 4.226256e-001 vertex 5.052543e+000 2.033953e+000.

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