[gedit-plugins] Remove useless include.
- From: Ignacio Casal Quinteiro <icq src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit-plugins] Remove useless include.
- Date: Mon, 10 May 2010 08:46:08 +0000 (UTC)
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]