mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
rename intellij.platform.editor -> intellij.platform.editor.ui
GitOrigin-RevId: f4aa008b77368945ce9651fdc47f9463e3445347
This commit is contained in:
committed by
intellij-monorepo-bot
parent
bbb195360e
commit
dea8eddb0c
@@ -15,6 +15,6 @@
|
||||
<orderEntry type="module" module-name="intellij.platform.analysis" />
|
||||
<orderEntry type="module" module-name="intellij.platform.analysis.impl" />
|
||||
<orderEntry type="module" module-name="intellij.platform.execution" />
|
||||
<orderEntry type="module" module-name="intellij.platform.editor" />
|
||||
<orderEntry type="module" module-name="intellij.platform.editor.ui" />
|
||||
</component>
|
||||
</module>
|
||||
Reference in New Issue
Block a user