Karol Lewandowski 7730473352 Change "quick-fix" to "quick fix" ...

This is the actual feature name we use everywhere.

2023-12-07 12:29:33 +01:00

..

api_internal

api_internal.md: exception for AnAction.setShortcutSet()

2023-10-12 10:04:03 +02:00

api_notable

api_notable.md: grammar

2023-10-26 14:59:16 +02:00

resources

Change "quick-fix" to "quick fix"

2023-12-07 12:29:33 +01:00

tools

2023.3 release: update pages, extension point lists (#1155)

2023-12-06 17:10:38 +01:00

glossary.md

glossary.md: add LSP, fix

2023-12-07 10:51:12 +01:00

plugin_repository_obsolete.md

Add missing <link-summary>

2023-04-04 11:59:37 +02:00

verifying_plugin_compatibility.md

verifying_plugin_compatibility.md: PV output linking

2023-10-02 15:19:00 +02:00