Skip to content

Editor settings refactoring#1136

Merged
eprikazchikov merged 1 commit intomasterfrom
editor_settings
Oct 7, 2025
Merged

Editor settings refactoring#1136
eprikazchikov merged 1 commit intomasterfrom
editor_settings

Conversation

@eprikazchikov
Copy link
Copy Markdown
Collaborator

No description provided.

@eprikazchikov eprikazchikov merged commit baf1e10 into master Oct 7, 2025
33 of 34 checks passed
@eprikazchikov eprikazchikov deleted the editor_settings branch October 23, 2025 18:23
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