Update texi file
authorH.G. Muller <h.g.muller@hccnet.nl>
Mon, 21 Jan 2013 14:30:29 +0000 (15:30 +0100)
committerH.G. Muller <h.g.muller@hccnet.nl>
Mon, 21 Jan 2013 14:30:29 +0000 (15:30 +0100)
commita78f8c1eff8fdbf1195463234b6d7cc92fdfdc22
tree962c3d6d221832de9395c66babc1f04f98c93701
parente5876bb39d5f30d92865ff5f37b0b60f15e4fa87
Update texi file
xboard.texi