mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
add terminal plugin to community-main.iml
This commit is contained in:
@@ -122,5 +122,6 @@
|
||||
<orderEntry type="module" module-name="android-jps-plugin" scope="TEST" />
|
||||
<orderEntry type="module" module-name="script-debugger-ui" scope="TEST" />
|
||||
<orderEntry type="module" module-name="remote-servers-git-java" />
|
||||
<orderEntry type="module" module-name="terminal" />
|
||||
</component>
|
||||
</module>
|
||||
Reference in New Issue
Block a user