Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Update Monaco's exposed colors #436

Merged
merged 1 commit into from
Jun 13, 2024
Merged

Update Monaco's exposed colors #436

merged 1 commit into from
Jun 13, 2024

Conversation

bonanitech
Copy link
Member

No description provided.

@bonanitech bonanitech added the maintenance Generic maintenance tasks label Jun 13, 2024
@bonanitech bonanitech merged commit ded855d into dev Jun 13, 2024
2 checks passed
@bonanitech bonanitech deleted the monaco-exposed-colors branch June 13, 2024 16:48
@github-actions github-actions bot locked and limited conversation to collaborators Jun 15, 2024
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
maintenance Generic maintenance tasks
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant