updated manual to 4.7.0

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

diff --git a/manual/xboard.dvi.gz b/manual/xboard.dvi.gz
index 7192249..3cacd97 100644 (file)
Binary files a/manual/xboard.dvi.gz and b/manual/xboard.dvi.gz differ