new developer release for all three branches

[xboard.git] / manual / xboard.txt.gz

diff --git a/manual/xboard.txt.gz b/manual/xboard.txt.gz
index db36a13..5063fb8 100644 (file)
Binary files a/manual/xboard.txt.gz and b/manual/xboard.txt.gz differ