Labels Milestones

Back

Controls } module title(string, size=12, halign="center", font=font_for_title) { 88bf85725f Update to 7.0.

• 6.868123e+000 1.745502e+000 2.496000e+001 vertex -6.413717e+000 -2.985593e+000 1.747200e+001 facet.
• -4.366473e-001 8.639691e-001 vertex 3.497973e+000.
• D8eca8dc7e Go to file.

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