tools_intellij_platform_gradle_plugin_gradle_properties.md: fix heading levels

This commit is contained in:
Yann Cébron 2024-07-29 16:48:25 +02:00
parent d74dcd03c2
commit e4fe426be6

View File

@ -165,7 +165,7 @@ org.jetbrains.intellij.platform.selfUpdateCheck=false
``` ```
### `shimServerPort` ## `shimServerPort`
{#shimServerPort} {#shimServerPort}
Specifies the default Shim server port at which the local webserver is run. Specifies the default Shim server port at which the local webserver is run.
@ -182,7 +182,7 @@ org.jetbrains.intellij.platform.shimServerPort=7348
``` ```
### `useCacheRedirector` ## `useCacheRedirector`
{#useCacheRedirector} {#useCacheRedirector}
By default, JetBrains Cache Redirector is used when resolving Maven repositories or any resources used by the IntelliJ Platform Gradle Plugin. By default, JetBrains Cache Redirector is used when resolving Maven repositories or any resources used by the IntelliJ Platform Gradle Plugin.