Labels Milestones

Back

Notes GitHub repository ## Git repository From 40ce306867b3d353457e134a232ee65f5767bece Mon Sep 17 00:00:00 2001 Subject: [PATCH 01/13.

• 9.961018e+00 facet normal 0.111507 0.258352.
• -9.995837e-001 0.000000e+000 vertex 5.258615e+000 -2.174272e+000.
• -5.011618e-001 2.496000e+001 vertex -3.465548e+000 6.113461e+000 1.747200e+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