mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-18 22:17:05 +07:00
Dmitry Trofimov
9c8182d929
(cherry picked from commit d238ce95813f05ba9744e6a124242f2c23d0ca69) (cherry picked from commit e4bdab382c0868715e05873bd14ee61f31865c29)
18 lines
994 B
XML
18 lines
994 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<module type="JAVA_MODULE" version="4">
|
|
<component name="NewModuleRootManager" inherit-compiler-output="true">
|
|
<exclude-output />
|
|
<orderEntry type="inheritedJdk" />
|
|
<orderEntry type="sourceFolder" forTests="false" />
|
|
<orderEntry type="module" module-name="lang-api" />
|
|
<orderEntry type="module" module-name="openapi" />
|
|
<orderEntry type="module" module-name="idea" />
|
|
<orderEntry type="module" module-name="idea-ui" />
|
|
<orderEntry type="module" module-name="xml" />
|
|
<orderEntry type="module" module-name="python-community-plugin-core" exported="" />
|
|
<orderEntry type="module" module-name="python-community-plugin-java" exported="" />
|
|
<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="" />
|
|
</component>
|
|
</module> |