X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fhtml_node%2FOptions-Menu.html;h=0a339c6cd28146ec44337ed26555ba3895ee9fb9;hb=69f0f0d43082614cf23c38fba91c023a5c4ea12e;hp=360113a79203ed0a9669b737f31cec68124525ef;hpb=34f538f46ddad3e88adfbe825ca0aeaa61ce3c5d;p=xboard.git
diff --git a/manual/html_node/Options-Menu.html b/manual/html_node/Options-Menu.html
index 360113a..0a339c6 100644
--- a/manual/html_node/Options-Menu.html
+++ b/manual/html_node/Options-Menu.html
@@ -3,7 +3,7 @@
Options Menu - XBoard
-
+
@@ -24,8 +24,8 @@