Skip to content

Switch to jetbrains toolbox#47

Merged
UnstoppableMango merged 1 commit into
mainfrom
jb-plugins
Oct 23, 2025
Merged

Switch to jetbrains toolbox#47
UnstoppableMango merged 1 commit into
mainfrom
jb-plugins

Conversation

@UnstoppableMango

Copy link
Copy Markdown
Owner

No description provided.

@UnstoppableMango
UnstoppableMango merged commit e5e460b into main Oct 23, 2025
2 checks passed
@UnstoppableMango
UnstoppableMango deleted the jb-plugins branch October 23, 2025 02:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant