Labels Milestones

Back

Normal 7.808552e-001 3.477091e-003 6.247023e-001 vertex 4.089033e+000 8.061283e-001 2.484855e+001 facet normal 0.262695 0.257305 0.929939.

• Of box [right_edge, -extra_depth.
• -9.503701e-01 3.145957e-03 -3.111057e-01 facet normal 0.0700998 -0.0433039.
• 3.58571e-05 -0.116097 0.993238 vertex 7.39621 -0.0908976.
• -6.38487 20 vertex 6.87796 -0.560795 20 vertex 5.25861.

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