X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fhtml_node%2FOptions.html;h=763368049b453e7ea14e35a18dee7ca5e69ee1cc;hb=10173187bb807a7194df200fef7a0e5efe47688f;hp=70474cff163441c19164909542357e0102419a73;hpb=0f848da7556dd6eadf0a33029d2aade7676caa37;p=xboard.git
diff --git a/manual/html_node/Options.html b/manual/html_node/Options.html
index 70474cf..7633680 100644
--- a/manual/html_node/Options.html
+++ b/manual/html_node/Options.html
@@ -3,7 +3,7 @@
Options - XBoard
-
+
@@ -23,8 +23,8 @@