MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

python-community plugin is a module to depend on in order to build the Python plugin from sources

Browse Source
This commit is contained in:
Dmitry Trofimov
2017-04-04 17:58:12 +02:00
parent 9cd2e662c6
commit 16fa9f9fbc
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/python-community-plugin.iml
+1
View File
@@ -14,5 +14,6 @@
<orderEntry type="module" module-name="python-community" exported="" />
<orderEntry type="module" module-name="python-community-plugin-resources" exported="" />
<orderEntry type="module" module-name="python-community-configure" exported="" />
<orderEntry type="module" module-name="python-community-plugin-minor" exported="" />
</component>
</module>