Labels Milestones

Back

'?') { return $rel; } if ($rel[0] == '/') { $path = preg_replace('#/[^/]*$#', '', $path); /* replace .

• 2.935841e+000 2.496000e+001 vertex -4.726331e+000 -3.123942e+000 1.747200e+001 facet.
• Normal 4.391191e-002 -7.528147e-002 9.961950e-001 vertex -5.326898e+000 3.014290e+000 2.496000e+001.
• X="5.3" y="3.1"/> 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