Skip to content

feat(user_config) Manage ide extensions#25

Merged
branic merged 1 commit intomainfrom
feature/user_config_code_extensions
Apr 2, 2026
Merged

feat(user_config) Manage ide extensions#25
branic merged 1 commit intomainfrom
feature/user_config_code_extensions

Conversation

@branic
Copy link
Copy Markdown
Owner

@branic branic commented Apr 2, 2026

No description provided.

@branic branic merged commit f0662b1 into main Apr 2, 2026
59 checks passed
@branic branic deleted the feature/user_config_code_extensions branch April 2, 2026 18:04
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