X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fxboard.texi.tar.gz;h=9ce6d94b2d645bf5c661f55eed42193a8d40acd5;hb=4c77d7306e10ac83948ffd0d90c69f1a5cbaaf19;hp=0149d17105fab4006e6163283883b411bc7712ef;hpb=903ac4c87f589fdde23dcb05df3f16c36b9a49a0;p=xboard.git

diff --git a/manual/xboard.texi.tar.gz b/manual/xboard.texi.tar.gz
index 0149d17..9ce6d94 100644
Binary files a/manual/xboard.texi.tar.gz and b/manual/xboard.texi.tar.gz differ