diff options
| author | Not Zed <NotZed@Ximian.com> | 2005-07-21 15:07:19 +0800 |
|---|---|---|
| committer | Michael Zucci <zucchi@src.gnome.org> | 2005-07-21 15:07:19 +0800 |
| commit | 1c8869f9131fe804cf680d68bdcf41c4783d86ee (patch) | |
| tree | ec138464fcf2a0819ccd8b4c5053e2ea06086e6d /plugins | |
| parent | ae18a1bad11a55cb52749ca78f4c0ffb9be71475 (diff) | |
| download | gsoc2013-evolution-1c8869f9131fe804cf680d68bdcf41c4783d86ee.tar.gz gsoc2013-evolution-1c8869f9131fe804cf680d68bdcf41c4783d86ee.tar.zst gsoc2013-evolution-1c8869f9131fe804cf680d68bdcf41c4783d86ee.zip | |
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
Diffstat (limited to 'plugins')
| -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> |