release of 4.5.0
[xboard.git] / manual / xboard.ps.gz
index a87cb0d..3c02c5a 100644 (file)
Binary files a/manual/xboard.ps.gz and b/manual/xboard.ps.gz differ