Fix braces problem in texi file
authorH.G.Muller <hgm@hgm-xboard.(none)>
Tue, 8 Mar 2016 22:26:05 +0000 (23:26 +0100)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Tue, 8 Mar 2016 22:26:05 +0000 (23:26 +0100)
commitdf55fa877f507a300673338128551251aff846f7
treebde03e691f8aa55ee110491721731d39f4c5b4c1
parent718609b99a5f570ce8245f12d05eeed32a444437
Fix braces problem in texi file
xboard.texi