Update texi file
authorH.G. Muller <h.g.muller@hccnet.nl>
Wed, 22 Jun 2011 15:51:51 +0000 (17:51 +0200)
committerH.G. Muller <h.g.muller@hccnet.nl>
Wed, 22 Jun 2011 17:32:20 +0000 (19:32 +0200)
commitc54ab8b2d6360ea2348ea90bb7b1ef62d1b9e385
treedbc34dcbf99c38a8c9b503d3787b2f62b0083c13
parent7180ffa637f0e06d678b180218f4de6d52d5cf32
Update texi file
xboard.texi