X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fxboard.texi.tar.gz;h=3c7beb13f31893212282a48369205b0d48f401b1;hb=7dd10a8fd47a1d2b9042e65e9504f3fb67e5b148;hp=92972ae7e13acfc2d626ad902ae4f5233e98c14d;hpb=ca01d025f9d6a21807145792e2a90b841600b5a3;p=xboard.git diff --git a/manual/xboard.texi.tar.gz b/manual/xboard.texi.tar.gz index 92972ae..3c7beb1 100644 Binary files a/manual/xboard.texi.tar.gz and b/manual/xboard.texi.tar.gz differ