X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=xhistory.h;h=94f2af004ddcb7a8420b7f691a12f6531881d6fb;hb=9be4b067e4e5d8026be07acd417b51b4ee377822;hp=109e1bdae1d30566bc50a79c93aaecee328f215e;hpb=50d46f9ac95d6fc78b15264f7fa6ed0b220571a6;p=xboard.git

diff --git a/xhistory.h b/xhistory.h
index 109e1bd..94f2af0 100644
--- a/xhistory.h
+++ b/xhistory.h
@@ -29,6 +29,5 @@ void HistoryPopDown   P((GtkObject *object, gpointer user_data));
 
 Boolean MoveHistoryIsUp P((void));
 
-extern Widget historyShell;
 #endif /* _XHISTL_H */