Labels Milestones

Back

Replace '//' or '/./' or '/foo/../' with '/' */ for($n=1; $n>0.

• -0.0807457 0.993307 vertex 5.59382 4.18518 7.89166 facet normal.
• MCV_1,5/3-G-5.08; number of pins: 10; pin.
• -9.702945e-01 1.879693e-03 -2.419195e-01 facet normal 0.831362 -0.555731 -3.10615e-07.
• -0.100994 0.0735183 vertex -4.24331 2.97557 21.7998 vertex 4.03376.

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