X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fxboard.dvi.gz;h=eddfaaa229704c031bbabb6a948bf73f48af58d9;hb=0c2cfcf0a8f43393afe8f36fff821e2ffb612c91;hp=9102289bd08e84e5e80336e61556c464f566cff7;hpb=10173187bb807a7194df200fef7a0e5efe47688f;p=xboard.git

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