mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 15:52:01 +07:00
minor changes: - `<module name="intellij.idea.ultimate.build" />` IDEA inserted it itself - All words starts with capital letter - `-Dintellij.build.target.os=current` is dropped as not needed (plugin installer is the same for all platforms) GitOrigin-RevId: 7735fc1712079131eaba133c5c54aa561baee627
11 lines
503 B
XML
11 lines
503 B
XML
<component name="ProjectRunConfigurationManager">
|
|
<configuration default="false" name="Build Kotlin Plugin" type="JetRunConfigurationType">
|
|
<option name="MAIN_CLASS_NAME" value="KotlinPluginBuildTarget" />
|
|
<module name="intellij.idea.community.build" />
|
|
<shortenClasspath name="NONE" />
|
|
<option name="VM_PARAMETERS" value="-Dintellij.build.use.compiled.classes=true" />
|
|
<method v="2">
|
|
<option name="MakeProject" enabled="true" />
|
|
</method>
|
|
</configuration>
|
|
</component> |