X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fxboard.dvi.gz;h=1712b4c360c5ddef455ece3c288f1b07423ab386;hb=a36b2aca1054f083cd50958eff7e347e8aa6bfc5;hp=3cacd974c89a16e345441523bbaf060d645e3a5f;hpb=2a90bf5372bfdc59dd7c88d061d0ef841d69f063;p=xboard.git 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