X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fxboard.dvi.gz;h=eddfaaa229704c031bbabb6a948bf73f48af58d9;hb=bd5c29a5ad269ab4eda06cfd5bad38a41f9464b4;hp=71922497dffcc8f819926f38d48da56453b3f99e;hpb=738b5b92598a99945eb699ff67b2328072cfaf20;p=xboard.git diff --git a/manual/xboard.dvi.gz b/manual/xboard.dvi.gz index 7192249..eddfaaa 100644 Binary files a/manual/xboard.dvi.gz and b/manual/xboard.dvi.gz differ