Fix texi file, and update it further
authorH.G. Muller <h.g.muller@hccnet.nl>
Thu, 23 Jun 2011 09:16:34 +0000 (11:16 +0200)
committerH.G. Muller <h.g.muller@hccnet.nl>
Sun, 26 Jun 2011 12:36:03 +0000 (14:36 +0200)
commit0334fbca7cf0988b7a70d907630c5dbb6dbfcaec
tree3adb03a01ddaaef7a88a06a6d80d8ee5a427c054
parent27456613ed0c9f8aa4ec2d936751950abd54469c
Fix texi file, and update it further
xboard.texi