X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fhtml_node%2FOptions.html;h=dd96d8417beeecef056e68ccdd2f7ce7033866ff;hb=b3ede42a163852d0819b1c8ed093407922082929;hp=7ef646e621aa960244399cc746ec7f6819d5e8f9;hpb=5538e55a9678d04ac6d94baedacd150fa3910a61;p=xboard.git diff --git a/manual/html_node/Options.html b/manual/html_node/Options.html index 7ef646e..dd96d84 100644 --- a/manual/html_node/Options.html +++ b/manual/html_node/Options.html @@ -3,7 +3,7 @@
This section documents the command-line options to XBoard. You can
set these options in two ways: by typing them on the shell command
line you use to start XBoard, or by setting them as X resources
@@ -65,7 +65,7 @@ true or false (‘XBoard*longOptionName: trueICS options: Connecting to and using ICS.