X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fxboard.dvi.gz;h=13b528589d1e6443441318feb501bf0c9f46133b;hb=6ef5a4594dc90cfd66cc24f806241eaaaa2eebe6;hp=b8fb9b5f92889bb9ce835cb699329a30af0f29cb;hpb=64c29c63bf9bc30906c1f20a590f18d0874545e3;p=xboard.git diff --git a/manual/xboard.dvi.gz b/manual/xboard.dvi.gz index b8fb9b5..13b5285 100644 Binary files a/manual/xboard.dvi.gz and b/manual/xboard.dvi.gz differ