Update texi file for position search
authorH.G. Muller <h.g.muller@hccnet.nl>
Mon, 3 Oct 2011 08:30:30 +0000 (10:30 +0200)
committerH.G. Muller <h.g.muller@hccnet.nl>
Mon, 3 Oct 2011 10:37:55 +0000 (12:37 +0200)
commit16ab3d3115384a9d76ded5abb42098bc1a11a23f
treef12d1a6465ef309c50b261b2c49a9f4da9e84a9f
parentbfc2077105e6e6a2823f54154cb2a0af0ff909e3
Update texi file for position search

The new items in the Load Game Options dialog are described, as well
as the command-line options used to store them in the settings file.
xboard.texi