updated for release 4.4.3
[xboard.git] / manual / xboard.dvi.gz
index 92f49c3..9102289 100644 (file)
Binary files a/manual/xboard.dvi.gz and b/manual/xboard.dvi.gz differ