X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fxboard.dvi.gz;h=ff1cb65ec7f1e88f8acf1e1457045942637f7c32;hb=7ac5e5961a5d15cf3179f180ec55a51d1e2a328b;hp=13b528589d1e6443441318feb501bf0c9f46133b;hpb=6ef5a4594dc90cfd66cc24f806241eaaaa2eebe6;p=xboard.git

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