Xboard: declare "Use hash-file" option to allow disabling hash-file.
treeacd91188c1c56c7196b0f2fd6238745517b54e52
-rw-r--r-- 662 .gitignore
-rw-r--r-- 280 AUTHORS
-rw-r--r-- 119 CONTRIB
-rw-r--r-- 35147 COPYING
-rw-r--r-- 35944 ChangeLog
-rw-r--r-- 2490 ChangeLog.old
-rw-r--r-- 1009 Makefile.am
-rw-r--r-- 3432 NEWS
-rw-r--r-- 1472 README
-rw-r--r-- 543 README.maint
-rw-r--r-- 1712 TODO
-rwxr-xr-x 193 autogen.sh
-rw-r--r-- 2576 configure.ac
drwxr-xr-x - doc
drwxr-xr-x - gnushogi
drwxr-xr-x - misc