From 8954da0f592fe6e316eb2c03b5fd5496d311b08a Mon Sep 17 00:00:00 2001
From: Aleksey Pivovarov <aleksey.pivovarov@jetbrains.com>
Date: Fri, 12 Feb 2016 14:24:01 +0300
Subject: [PATCH] add terminal plugin to community-main.iml

---
 community-main.iml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/community-main.iml b/community-main.iml
index 6dcf144cc226..c6a02fa3a573 100644
--- a/community-main.iml
+++ b/community-main.iml
@@ -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>
\ No newline at end of file