X-Git-Url: http://winboard.nl/cgi-bin?p=xboard.git;a=blobdiff_plain;f=manual%2Fxboard.dvi.gz;fp=manual%2Fxboard.dvi.gz;h=1712b4c360c5ddef455ece3c288f1b07423ab386;hp=3cacd974c89a16e345441523bbaf060d645e3a5f;hb=fd28437a186b98540c9890a40ab96b98667e5649;hpb=0b1478ab4c5685dd1e8b4a2602dc4c7898450d63

diff --git a/manual/xboard.dvi.gz b/manual/xboard.dvi.gz
index 3cacd97..1712b4c 100644
Binary files a/manual/xboard.dvi.gz and b/manual/xboard.dvi.gz differ