1c8869f913
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
16 lines
329 B
XML
16 lines
329 B
XML
<Root>
|
|
<commands>
|
|
<cmd name="EPluginManagerManage" _label="Plugins"
|
|
_tip="Enable and disable plugins"/>
|
|
</commands>
|
|
|
|
<menu>
|
|
<submenu name="Edit">
|
|
<placeholder name="PluginManagerPlaceholder">
|
|
<menuitem name="EPluginManagerManage" verb=""/>
|
|
</placeholder>
|
|
</submenu>
|
|
|
|
</menu>
|
|
</Root>
|