Merge branch 'hgm/fix-time-forfeit' into maint
tree676a96c040dde714838e74863f98d0468ce0d631
-rw-r--r-- 535 .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-- 2570 INSTALL
-rw-r--r-- 7463 INSTALL.generic
-rw-r--r-- 2785 Makefile.in
-rw-r--r-- 2943 NEWS
-rw-r--r-- 1453 README
-rw-r--r-- 437 README.maint
-rw-r--r-- 1244 TODO
-rwxr-xr-x 66 autogen.sh
-rw-r--r-- 2621 configure.ac
drwxr-xr-x - doc
drwxr-xr-x - gnushogi
-rwxr-xr-x 5585 install-sh
drwxr-xr-x - misc
drwxr-xr-x - win32