release of 4.4.1; updated index and manual
[xboard.git] / manual / xboard.info.tar.gz
index 47307c4..157e7c2 100644 (file)
Binary files a/manual/xboard.info.tar.gz and b/manual/xboard.info.tar.gz differ