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