X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fxboard.info.tar.gz;h=253f9788406e4a7456cc4357a25d7d853299be83;hb=3b714e357fbe2e30939979a0062344bd12065ba8;hp=157e7c202133d4c964cb5b35573e2e2fcf84bbcf;hpb=34f538f46ddad3e88adfbe825ca0aeaa61ce3c5d;p=xboard.git

diff --git a/manual/xboard.info.tar.gz b/manual/xboard.info.tar.gz
index 157e7c2..253f978 100644
Binary files a/manual/xboard.info.tar.gz and b/manual/xboard.info.tar.gz differ