X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=xboard.conf.in;h=412eb245755b4eb48ced2627da3ae984ad0af2d6;hb=03825b0fcf49f649d77f6b8313557ad3efbe8368;hp=b17b2c42eb1539d32f154bb95127868c868c4308;hpb=92b980ff1f96624f669e2007e2b03a7ff8350f68;p=xboard.git diff --git a/xboard.conf.in b/xboard.conf.in index b17b2c4..412eb24 100644 --- a/xboard.conf.in +++ b/xboard.conf.in @@ -125,8 +125,4 @@ Message (name);message $name $input; -saveSettingsOnExit true -saveSettingsFile "~/.xboardrc" -settingsFile "~/.xboardrc" -; -; Turn -inc into a volatile option, to prevent a persistent increment >= 0 dominating a command-line -mps -; --inc -1