[gedit-plugins] Remove unnecessary header from bookmarks plugin

[Jesse van den Kieboom <jessevdk src gnome org>]

commit 7e8a072e8e5aaa825249095532e2c82c9b05c9dc
Author: Jesse van den Kieboom <jesse icecrew nl>
Date:   Sun May 2 10:42:16 2010 +0200

    Remove unnecessary header from bookmarks plugin

 plugins/bookmarks/gedit-bookmarks-plugin.c |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)
---
diff --git a/plugins/bookmarks/gedit-bookmarks-plugin.c b/plugins/bookmarks/gedit-bookmarks-plugin.c
index 835f83b..8ceca16 100644
--- a/plugins/bookmarks/gedit-bookmarks-plugin.c
+++ b/plugins/bookmarks/gedit-bookmarks-plugin.c
@@ -28,7 +28,6 @@
 #include <glib/gi18n-lib.h>
 #include <gedit/gedit-debug.h>
 #include <gedit/gedit-window.h>
-#include <gedit/gedit-panel.h>
 #include <gedit/gedit-document.h>
 #include <gedit/gedit-prefs-manager.h>