new developer release for all three branches

[xboard.git] / manual / xboard.texi.tar.gz

diff --git a/manual/xboard.texi.tar.gz b/manual/xboard.texi.tar.gz
index 758a22b..7a14c34 100644 (file)
Binary files a/manual/xboard.texi.tar.gz and b/manual/xboard.texi.tar.gz differ