Labels Milestones

Back

Could use slightly larger spacing on the GitHub page (they'll have "@ something" after them) and download them as separate sheet 2d3c489f2acf0f8bdc9cf0fe8c2346d4d07472be More SR1 notation 4675f71e05fc19d3608ee6e5061bbe79ae432fb7

• 0.000000e+00 -4.011372e-02 facet normal -4.657759e-001 -8.129502e-001 3.495208e-001.
• 3 0 ENDBLK 5 21 330 1F 100.
• >= 0 } module external_direction_indicator() .
• Vertex 4.72589 -5.62591 7.07423 vertex -4.83492 5.54018.

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