From 6f2eb1d62706e419518219726245065e8873ecd0 Mon Sep 17 00:00:00 2001 From: Benjamin Otte Date: Wed, 11 Jun 2014 00:30:02 +0200 Subject: [PATCH] docs: Remove unused variable --- docs/tools/widgets.c | 1 - 1 file changed, 1 deletion(-) diff --git a/docs/tools/widgets.c b/docs/tools/widgets.c index cd16d8064b..f3dc8bee1f 100644 --- a/docs/tools/widgets.c +++ b/docs/tools/widgets.c @@ -401,7 +401,6 @@ create_search_bar (void) { GtkWidget *widget; GtkWidget *entry; - GtkWidget *align; WidgetInfo *info; GtkWidget *view; GtkWidget *box;