From e4fe426be6bf255d6963f46fc47dc3f2214272df Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Yann=20C=C3=A9bron?= Date: Mon, 29 Jul 2024 16:48:25 +0200 Subject: [PATCH] tools_intellij_platform_gradle_plugin_gradle_properties.md: fix heading levels --- ...tools_intellij_platform_gradle_plugin_gradle_properties.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/topics/appendix/tools/intellij_platform_gradle_plugin/tools_intellij_platform_gradle_plugin_gradle_properties.md b/topics/appendix/tools/intellij_platform_gradle_plugin/tools_intellij_platform_gradle_plugin_gradle_properties.md index 5db149f9e..037763565 100644 --- a/topics/appendix/tools/intellij_platform_gradle_plugin/tools_intellij_platform_gradle_plugin_gradle_properties.md +++ b/topics/appendix/tools/intellij_platform_gradle_plugin/tools_intellij_platform_gradle_plugin_gradle_properties.md @@ -165,7 +165,7 @@ org.jetbrains.intellij.platform.selfUpdateCheck=false ``` -### `shimServerPort` +## `shimServerPort` {#shimServerPort} 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} By default, JetBrains Cache Redirector is used when resolving Maven repositories or any resources used by the IntelliJ Platform Gradle Plugin.