mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-05 01:50:56 +07:00
611a1de1fb
still requires JBR with the fix for JBR-8043 GitOrigin-RevId: 7d77af62ed649420f761336f1a4363ff6aca3dcd
13 lines
582 B
XML
13 lines
582 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="jetbrains-annotations" level="project" />
|
|
</component>
|
|
</module> |