Merge branch 'main' into next

pull/392/head
Jakub Chrzanowski 9 months ago committed by GitHub
commit d707642329
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -29,7 +29,7 @@ To keep everything working, do not remove `<!-- ... -->` sections.
- Using IDE built-in plugin system:
<kbd>Settings/Preferences</kbd> > <kbd>Plugins</kbd> > <kbd>Marketplace</kbd> > <kbd>Search for "%NAME%"</kbd> >
<kbd>Install Plugin</kbd>
<kbd>Install</kbd>
- Manually:
@ -41,4 +41,4 @@ To keep everything working, do not remove `<!-- ... -->` sections.
Plugin based on the [IntelliJ Platform Plugin Template][template].
[template]: https://github.com/JetBrains/intellij-platform-plugin-template
[docs:plugin-description]: https://plugins.jetbrains.com/docs/intellij/plugin-user-experience.html#plugin-description-and-presentation
[docs:plugin-description]: https://plugins.jetbrains.com/docs/intellij/plugin-user-experience.html#plugin-description-and-presentation

Loading…
Cancel
Save