mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Dmitrii Gridin
9df0a18d3f
^KTIJ-23779 Fixed GitOrigin-RevId: ff784bd7e196ef25247d8061a98d4d3b486be00d
27 lines
1.0 KiB
XML
27 lines
1.0 KiB
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$/src" isTestSource="false" />
|
|
</content>
|
|
<orderEntry type="sourceFolder" forTests="false" />
|
|
</component>
|
|
<component name="FacetManager">
|
|
<facet type="kotlin-language" name="Kotlin">
|
|
<configuration version="5" platform="JVM 17" allPlatforms="JVM [17]" useProjectSettings="false">
|
|
<compilerSettings>
|
|
<option name="additionalArguments" value="-Xjvm-default=all" />
|
|
</compilerSettings>
|
|
<compilerArguments>
|
|
<stringArguments>
|
|
<stringArg name="jvmTarget" arg="17" />
|
|
<stringArg name="apiVersion" arg="1.7" />
|
|
<stringArg name="languageVersion" arg="1.7" />
|
|
</stringArguments>
|
|
</compilerArguments>
|
|
</configuration>
|
|
</facet>
|
|
</component>
|
|
</module>
|