From 1c8869f9131fe804cf680d68bdcf41c4783d86ee Mon Sep 17 00:00:00 2001
From: Not Zed <NotZed@Ximian.com>
Date: Thu, 21 Jul 2005 07:07:19 +0000
Subject: Remove the tools menu which someone was too lazy to remove.

2005-07-21  Not Zed  <NotZed@Ximian.com>

        * org-gnome-plugin-manager.xml: Remove the tools menu which
        someone was too lazy to remove.

svn path=/trunk/; revision=29824
---
 plugins/plugin-manager/org-gnome-plugin-manager.xml | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'plugins/plugin-manager/org-gnome-plugin-manager.xml')

diff --git a/plugins/plugin-manager/org-gnome-plugin-manager.xml b/plugins/plugin-manager/org-gnome-plugin-manager.xml
index 2d42cd70c9..97dac9468d 100644
--- a/plugins/plugin-manager/org-gnome-plugin-manager.xml
+++ b/plugins/plugin-manager/org-gnome-plugin-manager.xml
@@ -11,9 +11,5 @@
       </placeholder>
     </submenu>
 
-    <submenu name="Tools">
-      <placeholder name="ComponentPlaceholder"/>
-    </submenu>
-
   </menu>
 </Root>
-- 
cgit v1.2.3