console/plugins/gnthistory.c

changeset 14845
f34a657dacd0
parent 14296
ac12fbad24f7
child 14849
24a126359a5c
--- a/console/plugins/gnthistory.c	Thu Oct 19 06:16:14 2006 +0000
+++ b/console/plugins/gnthistory.c	Thu Oct 19 06:51:22 2006 +0000
@@ -34,8 +34,6 @@
 
 #include "gntplugin.h"
 
-#include <gnttextview.h>
-
 #define HISTORY_PLUGIN_ID "gnt-history"
 
 #define HISTORY_SIZE (4 * 1024)

mercurial