diff options
Diffstat (limited to 'plugins/plugin-manager/org-gnome-plugin-manager.xml')
| -rw-r--r-- | plugins/plugin-manager/org-gnome-plugin-manager.xml | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/plugins/plugin-manager/org-gnome-plugin-manager.xml b/plugins/plugin-manager/org-gnome-plugin-manager.xml deleted file mode 100644 index 53c465adef..0000000000 --- a/plugins/plugin-manager/org-gnome-plugin-manager.xml +++ /dev/null @@ -1,13 +0,0 @@ -<Root> - <commands> - <cmd name="EPluginManagerManage" _label="Manage Plugins..." - _tip="Enable and disable plugins"/> - </commands> - - <menu> - <submenu name="Tools"> - <placeholder name="ComponentPlaceholder"/> - <menuitem name="EPluginManagerManage" verb=""/> - </submenu> - </menu> -</Root> |