Skip to content

Update docs - #1931

Merged
Ivan Fedorov (isfedorov) merged 2 commits into
JetBrains:masterfrom
isfedorov:update_docs
Aug 17, 2026
Merged

Update docs#1931
Ivan Fedorov (isfedorov) merged 2 commits into
JetBrains:masterfrom
isfedorov:update_docs

Conversation

@isfedorov

Copy link
Copy Markdown
Contributor

No description provided.

…g in IDEs and consistency with official documentation.
…ating descriptions for consistency with official documentation.
@isfedorov
Ivan Fedorov (isfedorov) merged commit b3f1942 into JetBrains:master Aug 17, 2026
2 checks passed
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