X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fxboard.dvi.gz;h=ba8158776f05d4c0f4e5f6b0d9fe16bae691ba1e;hb=34f538f46ddad3e88adfbe825ca0aeaa61ce3c5d;hp=ff1cb65ec7f1e88f8acf1e1457045942637f7c32;hpb=5acdc0c401a6b8d61ff3926783ae252b0d318a35;p=xboard.git

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