X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fhtml_node%2FCrafty.html;h=82cb858c6152224d024963f0f4a12b8b650da75f;hb=a36b2aca1054f083cd50958eff7e347e8aa6bfc5;hp=3c140e2852a7eed457cc8cf2293d871f0ced7ce0;hpb=2a90bf5372bfdc59dd7c88d061d0ef841d69f063;p=xboard.git
diff --git a/manual/html_node/Crafty.html b/manual/html_node/Crafty.html
index 3c140e2..82cb858 100644
--- a/manual/html_node/Crafty.html
+++ b/manual/html_node/Crafty.html
@@ -7,7 +7,6 @@
-