diff -r e4a648fe6ce7 -r 58b788fd10a7 src/game.h --- 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;