[gedit-plugins] Remove useless include.



commit c3df417d355900f1b1cd4b53b146a34cd88ef537
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Mon May 10 10:45:53 2010 +0200

    Remove useless include.

 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 8ceca16..bcbb6cc 100644
--- a/plugins/bookmarks/gedit-bookmarks-plugin.c
+++ b/plugins/bookmarks/gedit-bookmarks-plugin.c
@@ -29,7 +29,6 @@
 #include <gedit/gedit-debug.h>
 #include <gedit/gedit-window.h>
 #include <gedit/gedit-document.h>
-#include <gedit/gedit-prefs-manager.h>
 
 #define WINDOW_DATA_KEY	"GeditBookmarksPluginWindowData"
 



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]