PR #5752 Use Ruff favicon for playground

Use Ruff favicon for playground #5752

charliermarsh merged 1 commit into main from charlie/playground

Use Ruff favicon for playground

10ea3e42

charliermarsh force pushed from c60387c5 to 10ea3e42 2 years ago

charliermarsh enabled auto-merge (squash) 2 years ago

charliermarsh merged 73228e91 into main 2 years ago

charliermarsh deleted the charlie/playground branch 2 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone