diff options
| -rw-r--r-- | plugins/plugin-manager/ChangeLog | 5 | ||||
| -rw-r--r-- | plugins/plugin-manager/org-gnome-plugin-manager.xml | 4 |
2 files changed, 5 insertions, 4 deletions
diff --git a/plugins/plugin-manager/ChangeLog b/plugins/plugin-manager/ChangeLog index bf35c265d2..5bdd567564 100644 --- a/plugins/plugin-manager/ChangeLog +++ b/plugins/plugin-manager/ChangeLog @@ -1,3 +1,8 @@ +2005-07-21 Not Zed <NotZed@Ximian.com> + + * org-gnome-plugin-manager.xml: Remove the tools menu which + someone was too lazy to remove. + 2005-06-27 Tor Lillqvist <tml@novell.com> * Makefile.am: Use NO_UNDEFINED. Link with more libraries. 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> |