More updating of texi file
authorH.G. Muller <h.g.muller@hccnet.nl>
Sun, 12 Feb 2012 12:43:30 +0000 (13:43 +0100)
committerH.G. Muller <h.g.muller@hccnet.nl>
Sun, 12 Feb 2012 12:43:30 +0000 (13:43 +0100)
commit531cbb967de22764c22954e2b93493e92e9830e9
treec192d8f99f38b99a89ffe7738ad71fc2d7e5c26c
parentf98d70f03e2bf88674a8d2085c04b22b27031674
More updating of texi file
xboard.texi