X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fxboard.texi.tar.gz;h=7a14c34642522b7449eda794a81b2d13a2c7832f;hb=69f0f0d43082614cf23c38fba91c023a5c4ea12e;hp=f7221fb2f7e86157482b3074a5441c25bd483987;hpb=6ef5a4594dc90cfd66cc24f806241eaaaa2eebe6;p=xboard.git diff --git a/manual/xboard.texi.tar.gz b/manual/xboard.texi.tar.gz index f7221fb..7a14c34 100644 Binary files a/manual/xboard.texi.tar.gz and b/manual/xboard.texi.tar.gz differ