mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 06:50:54 +07:00
8149d16d1b
It appears that IDEA Community and Ultimate use the same external URLs, so it doesn't make to have two different implementations of ExternalProductResourceUrls for them. So intellij.idea.customization.base module is introduced to define the common IntelliJIdeaExternalResourceUrls implementation. GitOrigin-RevId: 997596458fb391b7033e11a9c15851e72cfeaef1
12 lines
550 B
XML
12 lines
550 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$/src" isTestSource="false" packagePrefix="com.intellij.idea.customization.base" />
|
|
</content>
|
|
<orderEntry type="inheritedJdk" />
|
|
<orderEntry type="sourceFolder" forTests="false" />
|
|
<orderEntry type="module" module-name="intellij.platform.ide.impl" />
|
|
</component>
|
|
</module> |