mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-24 09:20:53 +07:00
[Workspace Model] [IDEA-320676] Rename jps module of workspace model
GitOrigin-RevId: 146fda1ce8b8e436eb48070e8cf96f2c654ea6a2
This commit is contained in:
committed by
intellij-monorepo-bot
parent
689623f7bd
commit
acde44da72
@@ -34,6 +34,6 @@
|
||||
<orderEntry type="module" module-name="intellij.platform.ide.core.impl" />
|
||||
<orderEntry type="module" module-name="intellij.platform.util.jdom" />
|
||||
<orderEntry type="library" name="gson" level="project" />
|
||||
<orderEntry type="module" module-name="intellij.platform.workspaceModel.jps" />
|
||||
<orderEntry type="module" module-name="intellij.platform.workspace.jps" />
|
||||
</component>
|
||||
</module>
|
||||
Reference in New Issue
Block a user