mirror of
https://github.com/JetBrains/intellij-sdk-code-samples.git
synced 2025-07-28 01:07:49 +08:00
Change logo path and docker (#1304)
This commit is contained in:
parent
b125ebb820
commit
b2f5e92b51
@ -2,6 +2,7 @@
|
|||||||
<buildprofiles xsi:noNamespaceSchemaLocation="https://resources.jetbrains.com/writerside/1.0/build-profiles.xsd"
|
<buildprofiles xsi:noNamespaceSchemaLocation="https://resources.jetbrains.com/writerside/1.0/build-profiles.xsd"
|
||||||
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
|
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
|
||||||
<variables>
|
<variables>
|
||||||
|
<header-logo>https://resources.jetbrains.com/storage/logos/web/jetbrains/jetbrains-particle.svg</header-logo>
|
||||||
<web-root>https://plugins.jetbrains.com/docs</web-root>
|
<web-root>https://plugins.jetbrains.com/docs</web-root>
|
||||||
<product-web-url>https://plugins.jetbrains.com/docs/intellij/</product-web-url>
|
<product-web-url>https://plugins.jetbrains.com/docs/intellij/</product-web-url>
|
||||||
<search-scope/>
|
<search-scope/>
|
||||||
|
@ -5,7 +5,7 @@
|
|||||||
<settings>
|
<settings>
|
||||||
<id-generator-method>LOWER_CASE_DASHES_DOT_REMOVE</id-generator-method>
|
<id-generator-method>LOWER_CASE_DASHES_DOT_REMOVE</id-generator-method>
|
||||||
<default-property element-name="chapter" property-name="show-structure-depth" value="2"/>
|
<default-property element-name="chapter" property-name="show-structure-depth" value="2"/>
|
||||||
<wrs-supernova use-version="233.14938"/>
|
<wrs-supernova use-version="2.1.1723-p5224"/>
|
||||||
</settings>
|
</settings>
|
||||||
<module name="intellij-sdk"/>
|
<module name="intellij-sdk"/>
|
||||||
<topics dir="topics"/>
|
<topics dir="topics"/>
|
||||||
|
Loading…
x
Reference in New Issue
Block a user