Xboard: declare "Use hash-file" option to allow disabling hash-file.
commit2c53c980b7a6a4c779f744dd8dad0432c4a8cdfe
authorYann Dirson <ydirson@free.fr>
Thu, 31 Jul 2014 18:53:31 +0000 (31 20:53 +0200)
committerYann Dirson <ydirson@free.fr>
Thu, 31 Jul 2014 18:53:31 +0000 (31 20:53 +0200)
treeacd91188c1c56c7196b0f2fd6238745517b54e52
parent2edcc59b5f62d6295e9776df3b45bf03affe6396
Xboard: declare "Use hash-file" option to allow disabling hash-file.

df11bbcfb7320a53b2dd653e29509bfaa3eb4d09 introduced support for
this option, but failed to declare it.  Changed its name to
something more descriptive as suggested by hgm.
gnushogi/commondsp.c