Labels Milestones

Back

Strip_tags($article['content']); $article['content'] .= "
Alt: " . $article['id']; } return $article; } if(ADD_IDS){ $article['content'] .

• 4.51686 0.737827 18.8084 vertex 4.63878 -0.0775843 18.7299 vertex.
• -4.301921e-003 2.588343e-001 facet normal 9.062952e-001 4.035140e-003 4.226258e-001 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