Update texi file
authorH.G. Muller <h.g.muller@hccnet.nl>
Sat, 11 Feb 2012 19:07:39 +0000 (20:07 +0100)
committerH.G. Muller <h.g.muller@hccnet.nl>
Sat, 11 Feb 2012 19:09:24 +0000 (20:09 +0100)
commit0a3eed8dcf86b0753f5cba28194d0dffb646248f
treef2619d2ac721d104ff8974b69b687702e182bc05
parent6ce428cd6c31f2203aeabacb774c26c635af58c0
Update texi file
xboard.texi