diff options
Diffstat (limited to 'plugins/plugin-manager/org-gnome-plugin-manager.xml')
| -rw-r--r-- | plugins/plugin-manager/org-gnome-plugin-manager.xml | 4 |
1 files changed, 0 insertions, 4 deletions
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> |