X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fxboard.texi.tar.gz;h=01ede58d8e54600cc6d2cd2c418921ff80a6dbd8;hb=a56f3c45b6e8c35b4e36b0fc80bc198989d9a9be;hp=7dad4feed9339caa920a25da396fbac790cfd16e;hpb=5acdc0c401a6b8d61ff3926783ae252b0d318a35;p=xboard.git diff --git a/manual/xboard.texi.tar.gz b/manual/xboard.texi.tar.gz index 7dad4fe..01ede58 100644 Binary files a/manual/xboard.texi.tar.gz and b/manual/xboard.texi.tar.gz differ