From 1c6d3151679fc46a42cf7ab5bbfcbecde8523a38 Mon Sep 17 00:00:00 2001 From: Dmitry Trofimov Date: Wed, 29 May 2013 00:56:00 +0200 Subject: [PATCH] Terminal plugin added to community. --- .idea/modules.xml | 1 + plugins/terminal/terminal.iml | 40 +++++++++++++++++++++++++++++++---- 2 files changed, 37 insertions(+), 4 deletions(-) diff --git a/.idea/modules.xml b/.idea/modules.xml index 7bbc4b80075e..e4277f5195d2 100644 --- a/.idea/modules.xml +++ b/.idea/modules.xml @@ -134,6 +134,7 @@ + diff --git a/plugins/terminal/terminal.iml b/plugins/terminal/terminal.iml index 554812475d1a..7dc8b2c8f23c 100644 --- a/plugins/terminal/terminal.iml +++ b/plugins/terminal/terminal.iml @@ -9,11 +9,43 @@ - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +