Update texi file
authorH.G.Muller <hgm@hgm-xboard.(none)>
Mon, 29 Feb 2016 12:15:47 +0000 (13:15 +0100)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Mon, 29 Feb 2016 12:15:47 +0000 (13:15 +0100)
commit8f08f6bef6f64647f54cd2f503255efb461bfe8d
tree17248170f79d45ce925af9e8baefb9cac2509a66
parenta13a40c2ccee745fd430eb226353c866a1f9ca69
Update texi file
xboard.texi