X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fxboard.dvi.gz;h=eddfaaa229704c031bbabb6a948bf73f48af58d9;hb=d5ef27eb6e9abda02c2839c9f4c3267b5bb1704e;hp=fccf6498a6224fe032f1612efac0476c883b2375;hpb=0f848da7556dd6eadf0a33029d2aade7676caa37;p=xboard.git diff --git a/manual/xboard.dvi.gz b/manual/xboard.dvi.gz index fccf649..eddfaaa 100644 Binary files a/manual/xboard.dvi.gz and b/manual/xboard.dvi.gz differ