Labels Milestones

Back

V 9.744101" d="m -3.4448859,9.645676 h -0.19685" d="M -6.8897672,9.54725 V 9.744101" d="m -6.7913422,9.645676 h -0.19685" d="M 2.4803055,8.7598422 V 8.9566927" d="m 2.5787305,8.8582674 h -0.19685.

• Rounded top edge. ≥30 means.
• -0.0861687 -0.995038 vertex 1.87301.
• (j1/j13 // gate out (j4/j10) .

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