From d34b4c8d74407f5b2be1a344e41f2ecdeb25f4fe Mon Sep 17 00:00:00 2001 From: Tor Norbye Date: Wed, 21 Aug 2013 11:17:55 -0700 Subject: Snapshot 32d31e4915ef17b3ec6ec4e87923f017e8e41bce from master branch of git://git.jetbrains.org/idea/community.git Change-Id: Idb2188c1f4e63d654aa3e3b832b9121d0be2dbe9 --- resources/src/META-INF/IdeaPlugin.xml | 23 +++++++++++++++++++++++ resources/src/idea/RichPlatformPlugin.xml | 2 ++ 2 files changed, 25 insertions(+) (limited to 'resources/src') diff --git a/resources/src/META-INF/IdeaPlugin.xml b/resources/src/META-INF/IdeaPlugin.xml index 27c7454722e6..58281cf84f8c 100644 --- a/resources/src/META-INF/IdeaPlugin.xml +++ b/resources/src/META-INF/IdeaPlugin.xml @@ -222,6 +222,8 @@ + + @@ -1376,6 +1378,9 @@ + + @@ -1427,10 +1432,28 @@ + + + + + + + + + + + + + + + diff --git a/resources/src/idea/RichPlatformPlugin.xml b/resources/src/idea/RichPlatformPlugin.xml index d0d63b13f033..c539ddb15bde 100644 --- a/resources/src/idea/RichPlatformPlugin.xml +++ b/resources/src/idea/RichPlatformPlugin.xml @@ -78,6 +78,8 @@ + + -- cgit v1.2.3