mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-18 09:34:34 +07:00
[java-frontend] IDEA-366600 Get rid of additional "Java for JetBrains Client" plugin
- add comments and check structure, disable dependencies, disable remote servers GitOrigin-RevId: 02ce5ef35d4ea84eb376f773fce1910583a3e3fa
This commit is contained in:
committed by
intellij-monorepo-bot
parent
b2235033e2
commit
a43daddb89
@@ -8,9 +8,11 @@
|
||||
<module name="intellij.platform.lang"/>
|
||||
<module name="intellij.platform.vcs"/>
|
||||
<module name="intellij.xml.dom"/>
|
||||
<module name="intellij.java.psi"/>
|
||||
<module name="intellij.java.indexing"/>
|
||||
<module name="intellij.java.analysis"/>
|
||||
<!--todo temporary disabled until it will be a backend module-->
|
||||
|
||||
<!--<module name="intellij.java.psi"/>-->
|
||||
<!--<module name="intellij.java.indexing"/>-->
|
||||
<!--<module name="intellij.java.analysis"/>-->
|
||||
<module name="intellij.platform.util.ui"/>
|
||||
<module name="intellij.platform.core.ui"/>
|
||||
<module name="intellij.platform.externalSystem"/>
|
||||
|
||||
Reference in New Issue
Block a user