src/game.h

changeset 89
58b788fd10a7
parent 83
ead00609e5e6
child 90
395542d915d7
--- a/src/game.h	Fri Mar 27 18:30:25 2026 +0100
+++ b/src/game.h	Sat Mar 28 12:57:05 2026 +0100
@@ -42,7 +42,6 @@
     char* port;
     char* serverhost; /* NULL, if we are about to start a server */
     char* continuepgn;
-    char* analyzepgn;
     bool singlemachine;
     bool unicode;
 } Settings;

mercurial