Labels Milestones

Back

$matches)){ if (preg_match("@.*(

• Normal 6.417350e-001 7.669265e-001 0.000000e+000.
• -9.581203e-01 2.863649e-01 -8.193733e-04 vertex -1.043264e+02 9.701936e+01 1.608622e+01 facet.

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