X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fhtml_node%2FUser-interface-options.html;h=dccb8ceec851d7527833a73940aa1af7c51bc5bf;hb=10173187bb807a7194df200fef7a0e5efe47688f;hp=d12115c2aa73c0eb3a24bc4a8c95eb6d93de3f62;hpb=aed09d5e7e499abbbb7d6118e555588bd7e4d522;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 @@