release of 4.5.1

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

diff --git a/manual/xboard.html.gz b/manual/xboard.html.gz
index dceb3d5..fa4546b 100644 (file)
Binary files a/manual/xboard.html.gz and b/manual/xboard.html.gz differ