# HG changeset patch
# User ib
# Date 1364768528 0
# Node ID 454a23cf28c5c1f39bdfd8dd6467b36e536da317
# Parent  f96f37b4f5a1af6db9afd2848ba6bc48506197c0
Remove unused declaration.

diff -r f96f37b4f5a1 -r 454a23cf28c5 gui/dialog/dialog.h
--- a/gui/dialog/dialog.h	Sun Mar 31 22:13:32 2013 +0000
+++ b/gui/dialog/dialog.h	Sun Mar 31 22:22:08 2013 +0000
@@ -28,8 +28,6 @@
 #define GTK_MB_ERROR 4
 #define GTK_MB_WARNING 8
 
-extern GtkWidget *Options;
-
 extern GtkWidget *WarningPixmap;
 extern GtkWidget *ErrorPixmap;