]> git.sesse.net Git - stockfish/commitdiff
Small touches in set_option()
authorMarco Costalba <mcostalba@gmail.com>
Sun, 17 Jul 2011 11:26:50 +0000 (12:26 +0100)
committerMarco Costalba <mcostalba@gmail.com>
Sun, 17 Jul 2011 11:55:26 +0000 (12:55 +0100)
No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>

No differences found