Labels Milestones

Back

0.301633 vertex -4.25586 4.81447 7.51797 vertex 6.35181 -0.410784 7.71954 vertex -6.29114 -0.209414 7.71246 vertex -6.4137 -0.394998 7.51797 facet.

• -0.288045 -0.957542 -0.0119981 facet.
• Module external_direction_indicator() { if(pointy_external_indicator == true .

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