X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fxboard.dvi.gz;h=ba8158776f05d4c0f4e5f6b0d9fe16bae691ba1e;hb=850ec289bc23bfd4e81a4357348bb12b7c5726ae;hp=fe718adbf98129d30b5ae4188884929cc748032c;hpb=ca01d025f9d6a21807145792e2a90b841600b5a3;p=xboard.git

diff --git a/manual/xboard.dvi.gz b/manual/xboard.dvi.gz
index fe718ad..ba81587 100644
Binary files a/manual/xboard.dvi.gz and b/manual/xboard.dvi.gz differ