plugin_configuration_file.md: Update generated comment

Co-authored-by: karollewandowski <1154140+karollewandowski@users.noreply.github.com>
This commit is contained in:
github-actions[bot] 2024-11-20 08:25:05 +01:00 committed by GitHub
parent 6aaa228a34
commit ca51b39470
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -37,7 +37,7 @@ Deprecated elements are omitted in the list below.
[//]: # (GENERATED CONTENT START) [//]: # (GENERATED CONTENT START)
[//]: # (This content is generated by plugin_configuration_file.main.kts.) [//]: # (This content is generated by generate_descriptor_pages.main.kts script.)
[//]: # (DO NOT EDIT IT MANUALLY) [//]: # (DO NOT EDIT IT MANUALLY)
- [`<idea-plugin>`](#idea-plugin) - [`<idea-plugin>`](#idea-plugin)