X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fhtml_node%2FUser-interface-options.html;h=dccb8ceec851d7527833a73940aa1af7c51bc5bf;hb=69f0f0d43082614cf23c38fba91c023a5c4ea12e;hp=d12115c2aa73c0eb3a24bc4a8c95eb6d93de3f62;hpb=34f538f46ddad3e88adfbe825ca0aeaa61ce3c5d;p=xboard.git
diff --git a/manual/html_node/User-interface-options.html b/manual/html_node/User-interface-options.html
index d12115c..dccb8ce 100644
--- a/manual/html_node/User-interface-options.html
+++ b/manual/html_node/User-interface-options.html
@@ -3,7 +3,7 @@
User interface options - XBoard
-
+
@@ -24,8 +24,8 @@