Labels Milestones

Back

{ // only keep everything starting at the first if (preg_match("@.*()@", $article['content'], $matches.

• -6.3123 7.78861 vertex 6.45862.
• Normal -4.566423e-001 7.828572e-001 4.226256e-001 facet normal.
• 0.957361 -0.114987 0.265023 facet.
• H[p] function hp_mm(h) = h.
• 5.32461 5.12711 6.87554 facet normal.

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