X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fxboard.texi.tar.gz;h=7a14c34642522b7449eda794a81b2d13a2c7832f;hb=10173187bb807a7194df200fef7a0e5efe47688f;hp=758a22bcd1f8d5a6adf7a3abecb146e94eb3d174;hpb=fd649bb759636c54785f2b9d7d0e4f68ccc8b5e7;p=xboard.git diff --git a/manual/xboard.texi.tar.gz b/manual/xboard.texi.tar.gz index 758a22b..7a14c34 100644 Binary files a/manual/xboard.texi.tar.gz and b/manual/xboard.texi.tar.gz differ