Labels Milestones

Back

10 - center_adjust; // build up seven rows; middle one unused row_1 = v_margin+12; out_row_2 = out_working_increment*1 + out_row_1; out_row_4 = working_increment*3 + row_1; //special-case.

• 7.408561e-001 vertex -5.128460e+000 2.900898e+000.
• -0.471406 -0.881916 0 facet normal 0.770774.

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