mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-17 07:20:53 +07:00
CPP-434 Split [python-community] into [python-community] and [python-community-ide-resources]
(cherry picked from commit 89dface)
This commit is contained in:
@@ -16,6 +16,7 @@
|
||||
<orderEntry type="module" module-name="IntelliLang-java" scope="RUNTIME" />
|
||||
<orderEntry type="module" module-name="python-community-plugin-core" />
|
||||
<orderEntry type="module" module-name="python-community-plugin-java" />
|
||||
<orderEntry type="module" module-name="python-community-ide-resources" />
|
||||
<orderEntry type="module" module-name="python-community" />
|
||||
<orderEntry type="module" module-name="IntelliLang-xml" scope="RUNTIME" />
|
||||
<orderEntry type="module" module-name="python-community-plugin-resources" scope="RUNTIME" />
|
||||
|
||||
Reference in New Issue
Block a user