X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fxboard.dvi.gz;h=1712b4c360c5ddef455ece3c288f1b07423ab386;hb=www;hp=2ac9de6684941bda6c05b000ebe829dbedf0c7e3;hpb=3e83b0fc8ace3c5857bc4a2e2f31a88c868b1514;p=xboard.git

diff --git a/manual/xboard.dvi.gz b/manual/xboard.dvi.gz
index 2ac9de6..1712b4c 100644
Binary files a/manual/xboard.dvi.gz and b/manual/xboard.dvi.gz differ