tools_gradle_intellij_plugin.md: Renamed toolboxEnterprise to ideServices and updated its description to reflect the correct plugin repository service.

This commit is contained in:
Jakub Chrzanowski 2025-04-18 09:28:03 +02:00
parent 7049541422
commit 54537a6106
No known key found for this signature in database
GPG Key ID: 56E9E73CB8E7486B

View File

@ -1387,10 +1387,10 @@ Default value
: output of the [`buildPlugin`](#tasks-buildplugin) task
#### `toolboxEnterprise`
{#tasks-publishplugin-toolboxenterprise}
#### `ideServices`
{#tasks-publishplugin-ideServices}
Specify if the Toolbox Enterprise plugin repository service should be used.
Specifies if the IDE Services plugin repository service should be used.
This feature is still in the incubating phase and is not yet available for public use.
{type="narrow"}