Skip to content

Editor Settings refactoring#648

Merged
eprikazchikov merged 3 commits intomasterfrom
editor_settings
Dec 30, 2023
Merged

Editor Settings refactoring#648
eprikazchikov merged 3 commits intomasterfrom
editor_settings

Conversation

@eprikazchikov
Copy link
Copy Markdown
Collaborator

No description provided.

@eprikazchikov eprikazchikov merged commit b495ca4 into master Dec 30, 2023
@eprikazchikov eprikazchikov deleted the editor_settings branch March 12, 2024 11:06
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