mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
Merge-request: IJ-MR-176107 Merged-by: Georgii Ustinov <georgii.ustinov@jetbrains.com> GitOrigin-RevId: da88956f47e5a402637a2f2514f4b3f99ff1fc11
13 lines
574 B
XML
13 lines
574 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<module type="JAVA_MODULE" version="4">
|
|
<component name="NewModuleRootManager" inherit-compiler-output="true">
|
|
<exclude-output />
|
|
<content url="file://$MODULE_DIR$">
|
|
<sourceFolder url="file://$MODULE_DIR$/resources" type="java-resource" />
|
|
<sourceFolder url="file://$MODULE_DIR$/src" isTestSource="false" />
|
|
</content>
|
|
<orderEntry type="inheritedJdk" />
|
|
<orderEntry type="sourceFolder" forTests="false" />
|
|
<orderEntry type="library" name="kotlin-stdlib" level="project" />
|
|
</component>
|
|
</module> |