X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=xboard.conf.in;h=412eb245755b4eb48ced2627da3ae984ad0af2d6;hb=b558b8211337aa5ae00d05553ea509b6db209306;hp=b17b2c42eb1539d32f154bb95127868c868c4308;hpb=cd286ef1302a2b6ce3aa591432de315f8e561948;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