X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=xboard.h;h=bc2a5f984b64004750a79d115153a3461bb3a3e7;hb=0f9e0a86b743e218d43e72fba5ad1e3640236a2a;hp=0ee378ac5a6e18b1ae025d04a7cfef09d26dc501;hpb=66916d7ccbb16e97ce1222c692bb24bf5cfb2210;p=xboard.git

diff --git a/xboard.h b/xboard.h
index 0ee378a..bc2a5f9 100644
--- a/xboard.h
+++ b/xboard.h
@@ -157,7 +157,6 @@ extern Pixel timerForegroundPixel, timerBackgroundPixel;
 extern int searchTime;
 extern Atom wm_delete_window;
 extern int squareSize, lineGap, defaultLineGap, useImages, useImageSqs;
-extern int shuffleOpenings;
 extern int startedFromPositionFile;
 extern char *icsTextMenuString;
 extern char ICSInputTranslations[];