--- a/src/game.h Sat Mar 28 12:57:05 2026 +0100
+++ b/src/game.h Sat Mar 28 14:01:14 2026 +0100
@@ -43,6 +43,7 @@
char* serverhost; /* NULL, if we are about to start a server */
char* continuepgn;
bool singlemachine;
+ bool disableflip;
bool unicode;
} Settings;