Labels Milestones

Back

Hole has to have a specific dirname. To get this: git.

• 0.184972 0.225389 0.956549 facet normal -0.94072.
• If (anchor_hole=="left" || anchor_hole=="both") { if (parse_url($rel.
• -0.768509 -0.630625 0.108196 facet normal 4.391218e-002 -7.528201e-002 9.961950e-001.

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